]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e5108fb) | patch
freshNamesGenerator moved into cic_proof_checking.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 19 Jul 2005 11:17:13 +0000 (11:17 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 19 Jul 2005 11:17:13 +0000 (11:17 +0000)
commit97b6922862815029492f65a587172ef8c728b677
treee1234935ad02e44940ff96ba4f6c133b0b64b345tree | snapshot
parente5108fbb1b112d713e611f7dbcd8a2ab8002e9a5commit | diff
freshNamesGenerator moved into cic_proof_checking.
helm/ocaml/cic_unification/.depend diff | blob | history
helm/ocaml/cic_unification/Makefile diff | blob | history
helm/ocaml/cic_unification/freshNamesGenerator.ml [deleted file] blob | history
helm/ocaml/cic_unification/freshNamesGenerator.mli [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.