Thu Jul 14 07:48:44 EDT 2011 Ben Lippmeier <[email protected]> * SimpleRef: Fix admit in progress
M ./proof/DDC/Base/ListExt.v -1 +75
M ./proof/DDC/Language/SimpleRef/Progress.v -2 +3
--
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe
