]> matita.cs.unibo.it Git - helm.git/commit
we corrected some reduction bugs about renaming.
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 16 Jun 2009 14:20:34 +0000 (14:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 16 Jun 2009 14:20:34 +0000 (14:20 +0000)
commit13c3708fc59d999727ee214e8ece1f03661a9737
treeed3a3b7944b6c9190efb58461a73f1b55de4c6f4
parent939f76e2fd4a50fd49c010a64e49b5625569d712
we corrected some reduction bugs about renaming.

The grundlagen is now fully typechecked :)
helm/software/lambda-delta/automath/autOutput.ml
helm/software/lambda-delta/basic_ag/bag.ml
helm/software/lambda-delta/basic_ag/bagOutput.ml
helm/software/lambda-delta/basic_ag/bagReduction.ml
helm/software/lambda-delta/basic_ag/bagType.ml
helm/software/lambda-delta/toplevel/metaBag.ml
helm/software/lambda-delta/toplevel/metaOutput.ml
helm/software/lambda-delta/toplevel/top.ml