Mon Jul 18 08:32:40 EDT 2011 Ben Lippmeier <[email protected]> * SimpleData: cleanups
M ./proof/DDC/Base/Tactics.v -1 +15
M ./proof/DDC/Data/List/Forall2.v -1 +1
M ./proof/DDC/Language/SimpleData.v +28
M ./proof/DDC/Language/SimpleData/SubstExpExp.v -51 +37
M ./proof/DDC/Language/SimpleData/TyJudge.v -74 +48
--
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe
