{"push_id":961873198,"size":1,"distinct_size":1,"ref":"refs/heads/shallow","head":"d706cc00d981596b4226ad4a48ffb569e531917d","before":"a42a480a01bf3bb325fbdf841056a5feecaab74f","commits":[{"sha":"d706cc00d981596b4226ad4a48ffb569e531917d","author":{"email":"96a847a559ab134a441bdf37bc3465da717e0be9@pc135.cs.york.ac.uk","name":"S Foster"},"message":"Added a the beginnings of the theory of CSP. Also updated designs to add a few different variants of the turnstile and rippled changes appropriately.","distinct":true,"url":"https://api.github.com/repos/isabelle-utp/utp-main/commits/d706cc00d981596b4226ad4a48ffb569e531917d"}]}