]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b8d36e) | patch
- ground_2: some additions
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 10 Mar 2016 21:16:20 +0000 (21:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 10 Mar 2016 21:16:20 +0000 (21:16 +0000)
commit064980eacc2efe70ffee96134d75dfa37506fc36
tree9ded1c29eef918b4eb9734a7750cd02c340ccd86tree | snapshot
parent9b8d36ee041582f876543086e7659ed9e365e861commit | diff
- ground_2: some additions
- basic_2/grammar: added missing files
matita/matita/contribs/lambdadelta/basic_2/grammar/ceq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/grammar/ceq_ceq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/runion_3.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/star.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/runion_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sand.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.