Mon Jun 27 04:07:57 EDT 2011 Ben Lippmeier <[email protected]> * Simple: Redo environment library to be based on Coq lists Before we defined a new list type: env. Instead, we can just define new notations to give us the original syntax.
M ./proof/Simple/BaseEnv.v -277 +310
--
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe
