projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 10 Feb 2016 12:03:01 +0000 (12:03 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 10 Feb 2016 12:03:01 +0000 (12:03 +0000) | ||
| commit | 85ba2f09d81f44b8c75505cc470f1fc5c431b9f2 | |
| tree | 408996725f1b6142f4db0abf94ca4808340ad7de | tree | snapshot |
| parent | 093a2290feb8244a2397fa4767c283893a59f5e5 | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/notation/relations/relationstar_4.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_length.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn.ma | [deleted file] | blob | history |
| matita/matita/contribs/lambdadelta/ground_2/lib/bool.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_after.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_id.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_sle.ma | [new file with mode: 0644] | blob |