]> matita.cs.unibo.it Git - helm.git/commit
Module CicHash (hash-tables over CIC terms based on physical equality) moved
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 26 Nov 2005 11:56:07 +0000 (11:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 26 Nov 2005 11:56:07 +0000 (11:56 +0000)
commit86241d46558e3a4979fc786e47ce78f90eb9190c
tree407aed3cd2f2f37761db1ce106a1649d27687295
parent20a35144a63d112d7eedc092ccd3366473021ef9
Module CicHash (hash-tables over CIC terms based on physical equality) moved
into Cic.
helm/ocaml/cic/cic.ml
helm/ocaml/cic_acic/cic2acic.ml
helm/ocaml/cic_acic/doubleTypeInference.ml
helm/ocaml/cic_acic/doubleTypeInference.mli