]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/Make
Make*
README
examples/automath/*.aut
examples/automath/README
Make*
README
examples/automath/*.aut
examples/automath/README
+scripts/coq/*.v
+scripts/coq/*.template
+scripts/lp/*.template