]> matita.cs.unibo.it Git - helm.git/commit
Some modifications due to instance.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 5 May 2005 11:14:14 +0000 (11:14 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 5 May 2005 11:14:14 +0000 (11:14 +0000)
commitf3581a88f462038ba4d97d1702ae86650e269fc5
treee3711053bbc65b7a99ed2831a90ef3869687cb6e
parent0ef18c2aaa95d86b3bcdac35d4a14cd4a0cf0fdd
Some modifications due to instance.
helm/ocaml/metadata/metadataConstraints.ml
helm/ocaml/metadata/metadataConstraints.mli
helm/ocaml/metadata/metadataDb.mli
helm/ocaml/metadata/metadataPp.ml
helm/ocaml/metadata/metadataPp.mli
helm/ocaml/tactics/metadataQuery.ml