Sun Aug 14 04:55:52 EDT 2011 Ben Lippmeier <[email protected]> * SystemF2Data: finish type_kienv_insert
M ./proof/DDC/Data/List/Forall2.v +1
M ./proof/DDC/Data/List/Map.v +13
M ./proof/DDC/Data/List/Program.v -4 +3
M ./proof/DDC/Language/SystemF2/TyLift.v -1 +27
M ./proof/DDC/Language/SystemF2Data/TyJudge.v -27 +53
--
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe
