]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e5077c9) | patch
some work on extended reduction ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Jun 2013 21:54:08 +0000 (21:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Jun 2013 21:54:08 +0000 (21:54 +0000)
commit143c97a8fe657eb7b041dec2747b0e67b5899762
tree95e4a3ded7eafc4c0cc940af777fd94e35a53971tree | snapshot
parente5077c96c584933ad1467e8066780b46d7b0468ccommit | diff
some work on extended reduction ...
matita/matita/contribs/lambdadelta/basic_2/names.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_ldrop.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/reduction/xpr.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/fsupq.ma [new file with mode: 0644] blob
matita/matita/lib/basics/relations.ma diff | blob | history
matita/matita/lib/basics/star.ma diff | blob | history
matita/matita/predefined_virtuals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.