]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/Basic_2/substitution/tps_lift.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aacce10) | patch
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
treec6470e1cc9e192f7b52235bab271d799f55293ectree | snapshot
parentaacce10080ef24f9851d760294c3e5d8233440cccommit | diff
other addition to the standard library removed
matita/matita/contribs/lambda_delta/Basic_2/substitution/ldrop.ma diff | blob | history
matita/matita/contribs/lambda_delta/Basic_2/substitution/lift_lift.ma diff | blob | history
matita/matita/contribs/lambda_delta/Basic_2/substitution/tps_lift.ma diff | blob | history
matita/matita/contribs/lambda_delta/Ground_2/arith.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.