Tue Oct 11 00:06:09 EDT 2011 Ben Lippmeier <[email protected]>
* Simplify burn tactic
M ./proof/DDC/Base/Tactics.v -49 +56
M ./proof/DDC/Data/List/Insert.v -1 +10
M ./proof/DDC/Language/Simple/Eval.v -5 +5
M ./proof/DDC/Language/Simple/Exp.v -17 +3
M ./proof/DDC/Language/Simple/Progress.v -1 +2
M ./proof/DDC/Language/Simple/SubstExpExp.v -19 +9
M ./proof/DDC/Language/Simple/Ty.v -8 +4
M ./proof/DDC/Language/SystemF2/TyBase.v -1 +2
M ./proof/DDC/Language/SystemF2/TyLift.v -3 +4
M ./proof/DDC/Language/SystemF2/TySubst.v -6 +1
M ./proof/DDC/Language/SystemF2/TySubsts.v -4 +13
M ./proof/DDC/Language/SystemF2Data/TyJudge.v -2 +2
M ./proof/DDC/Language/SystemF2Store/TyJudge.v -1 +1
--
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe
