]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac813b7) | patch
removed spurious debugging prints
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Jan 2005 18:15:57 +0000 (18:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Jan 2005 18:15:57 +0000 (18:15 +0000)
commitea71e96f90757766465abbdd22aec34d095dbf1d
tree9e1cf60d258e59b119526279a73db507f3acdf58tree | snapshot
parentac813b7e251e4bac1a8a16befa628203775771cacommit | diff
removed spurious debugging prints
helm/ocaml/cic_proof_checking/cicElim.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.