]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c72514) | patch
renaming "remove_term" -> "remove_obj"
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:54:44 +0000 (15:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:54:44 +0000 (15:54 +0000)
commit81ad82070892b2f2740111d97b2d72394f969328
tree54b28b9a0a9472b878991d64e63ed02bb8190477tree | snapshot
parent4c72514fddee0ca37b41f676a9beeacf4e2938eacommit | diff
renaming "remove_term" -> "remove_obj"
helm/ocaml/cic_proof_checking/cicEnvironment.ml diff | blob | history
helm/ocaml/cic_proof_checking/cicEnvironment.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.