]> matita.cs.unibo.it Git - helm.git/commit
Added flag ?eta_fix:bool to acic_object_of_cic_object.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Feb 2004 18:43:38 +0000 (18:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Feb 2004 18:43:38 +0000 (18:43 +0000)
commit9be7ec5bbacfafed8a3e37cfe0095f2aea1b9bf9
treebd2f94fe0669c8c444803457ad088d94f6a75360
parentbe675216486dca2252bc3f58f7ae0d5f4c6fae64
Added flag ?eta_fix:bool to acic_object_of_cic_object.
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/proofEngine.ml
helm/gTopLevel/testlibrary.ml
helm/ocaml/cic_omdoc/cic2acic.ml
helm/ocaml/cic_omdoc/cic2acic.mli