]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/Basic_2/substitution/tps_lift.ma
other addition to the standard library removed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 6 Dec 2011 19:49:59 +0000 (19:49 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 6 Dec 2011 19:49:59 +0000 (19:49 +0000)
commitc4ac63d7ae22b2adcc7fe7b54286a0226296eabc
treec6470e1cc9e192f7b52235bab271d799f55293ec
parentaacce10080ef24f9851d760294c3e5d8233440cc
other addition to the standard library removed
matita/matita/contribs/lambda_delta/Basic_2/substitution/ldrop.ma
matita/matita/contribs/lambda_delta/Basic_2/substitution/lift_lift.ma
matita/matita/contribs/lambda_delta/Basic_2/substitution/tps_lift.ma
matita/matita/contribs/lambda_delta/Ground_2/arith.ma