yellowsquid/cfe-proof.git/src/Cfe/Derivation, branch cleanup [no description] http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=cleanup 2021-04-24T14:30:30Z Cleanup Derivation. 2021-04-24T14:30:30Z Chloe Brown chloe.brown.00@outlook.com 2021-04-24T14:30:30Z urn:sha1:0708355c7988345c98961cad087dc56eeb16ea7f Introduce < for Languages. 2021-03-29T17:08:09Z Chloe Brown chloe.brown.00@outlook.com 2021-03-29T17:08:09Z urn:sha1:13e0839831a528d26478a3a94c7470204460cce4 Move around some definitions. Rename parse to derivation. 2021-03-29T14:56:46Z Chloe Brown chloe.brown.00@outlook.com 2021-03-29T14:56:46Z urn:sha1:da35892c463cd6b9a492c6aee09726a41031ca93