]> matita.cs.unibo.it Git - helm.git/commit
Ported to ocaml-3.04
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Jan 2002 14:55:44 +0000 (14:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Jan 2002 14:55:44 +0000 (14:55 +0000)
commit854ca287626643facb66a9f260f126a8801572c4
treea0a60853724ac56c1b9a01cbf519564347a19e04
parent8d410ba1a6b315f218cbf06626d43e638aef4133
Ported to ocaml-3.04
helm/fix_params/Makefile
helm/metadata/create2/mk_forward/Makefile
helm/ocaml/cic_proof_checking/cicEnvironment.ml
helm/proofChecker/proofChecker.ml
helm/proofChecker/proofChecker.pl