]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d7c5c2) | patch
some restructuring
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 14 Jun 2011 19:00:26 +0000 (19:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 14 Jun 2011 19:00:26 +0000 (19:00 +0000)
commit13935d33cc0899b9555648a4d49586e17274c748
tree1764b20f3e6d060e6247e21a44422ecaedfcb801tree | snapshot
parent2d7c5c2bc32162612138e329a48c8108e010334dcommit | diff
some restructuring
matita/matita/lib/lambda-delta/reduction/pr.ma [deleted file] blob | history
matita/matita/lib/lambda-delta/reduction/pr_defs.ma [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/substitution/lift.ma [deleted file] blob | history
matita/matita/lib/lambda-delta/substitution/lift_defs.ma [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/substitution/lift_fun.ma [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/substitution/lift_main.ma [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/substitution/subst.ma [deleted file] blob | history
matita/matita/lib/lambda-delta/substitution/subst_defs.ma [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/substitution/thin.ma [deleted file] blob | history
matita/matita/lib/lambda-delta/substitution/thin_defs.ma [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/substitution/thin_main.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.