]> matita.cs.unibo.it Git - helm.git/commit - helm/software/helena/matita/grundlagen_2_2.ma
level disambiguation cmpleted! the Grafite file is succesfully generated.
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 30 Nov 2014 17:58:24 +0000 (17:58 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 30 Nov 2014 17:58:24 +0000 (17:58 +0000)
commit3e5683b1efeb08431c8bb34718920384bfe6625a
tree1fa21a4dcb25b2ac957362a4f6a5832ebb842042
parent34e6104ef149e3776d0ab7f0930ae73f0e8de157
level disambiguation cmpleted! the Grafite file is succesfully generated.
Matite cannot compiled it yet since it seems to freeze on notion 2760.
We divided the Grafite file in 7 parts for convenience.
18 files changed:
helm/software/helena/.depend.opt
helm/software/helena/Makefile
helm/software/helena/examples/automath/README.txt [new file with mode: 0644]
helm/software/helena/examples/automath/grundlagen_1.aut
helm/software/helena/examples/automath/grundlagen_2.aut
helm/software/helena/matita/grundlagen_2.ma
helm/software/helena/matita/grundlagen_2_0.ma [new file with mode: 0644]
helm/software/helena/matita/grundlagen_2_1.ma [new file with mode: 0644]
helm/software/helena/matita/grundlagen_2_2.ma [new file with mode: 0644]
helm/software/helena/matita/grundlagen_2_3.ma [new file with mode: 0644]
helm/software/helena/matita/grundlagen_2_4.ma [new file with mode: 0644]
helm/software/helena/matita/grundlagen_2_5.ma [new file with mode: 0644]
helm/software/helena/matita/grundlagen_2_6.ma [new file with mode: 0644]
helm/software/helena/src/automath/autCrg.ml
helm/software/helena/src/basic_rg/brg.ml
helm/software/helena/src/basic_rg/brgGrafite.ml
helm/software/helena/src/common/options.ml
helm/software/helena/src/toplevel/top.ml