]> matita.cs.unibo.it Git - helm.git/commit
we started the support for naive sort inclusion
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 20 Dec 2008 15:27:24 +0000 (15:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 20 Dec 2008 15:27:24 +0000 (15:27 +0000)
commitae63e62aaf5659fe6b0e48cc4a4bdcf7b57318ad
treeb00b006dd19d8d2b43dea4f79de50de09c98d3bc
parentfc15ad45208cc2e649fa435e547ecc757fe28481
we started the support for naive sort inclusion
helm/software/lambda-delta/.depend.opt
helm/software/lambda-delta/Makefile
helm/software/lambda-delta/automath/grundlagen-orig.aut [new file with mode: 0644]
helm/software/lambda-delta/automath/grundlagen.aut
helm/software/lambda-delta/basic_ag/bagReduction.ml
helm/software/lambda-delta/basic_ag/bagReduction.mli
helm/software/lambda-delta/basic_ag/bagType.ml
helm/software/lambda-delta/toplevel/top.ml