]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e6b9fe) | patch
more lemmas and some generated logical constants for them
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 17 Jul 2011 18:33:56 +0000 (18:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 17 Jul 2011 18:33:56 +0000 (18:33 +0000)
commitb4d7d16ff7635d9430e92ba86eaf513a9ad9ff8e
tree2d3ce74ad6bbad6039599a290970d0b9fd75cdfetree | snapshot
parent1e6b9fe97056bdffc515e1951de67d85d40e964ccommit | diff
more lemmas and some generated logical constants for them
matita/matita/lib/lambda-delta/ground.ma diff | blob | history
matita/matita/lib/lambda-delta/reduction/pr_defs.ma diff | blob | history
matita/matita/lib/lambda-delta/reduction/pr_lift.ma [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/reduction/pr_subst.ma [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/substitution/drop_defs.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/lift_defs.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/subst_defs.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/thin_defs.ma diff | blob | history
matita/matita/lib/lambda-delta/xoa_defs.ma diff | blob | history
matita/matita/lib/lambda-delta/xoa_notation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.