yellowsquid/cfe-proof.git/src/Cfe/Derivation, branch thm4.5a [no description] http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=thm4.5a 2021-03-30T17:52:46Z Attempt to prove unrolling. 2021-03-30T17:52:46Z Chloe Brown chloe.brown.00@outlook.com 2021-03-30T17:52:46Z urn:sha1:050206a1ba06d588879171698f2f8120a8b550d4 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