]> matita.cs.unibo.it Git - helm.git/commit
more static analysis on the Automath text
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 3 Jul 2009 18:11:04 +0000 (18:11 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 3 Jul 2009 18:11:04 +0000 (18:11 +0000)
commitca9fe133125cb84c5223029995cb72e973a2d695
treec966ea6813be2b77902b54012b8eaa4880d36181
parent1f6040cf168fe0cdcbe8b3c37904a2090d7083a0
more static analysis on the Automath text
helm/software/lambda-delta/.depend.opt
helm/software/lambda-delta/automath/autOutput.ml
helm/software/lambda-delta/automath/autProcess.ml
helm/software/lambda-delta/automath/autProcess.mli