]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 234daa5) | patch
Debugging code removed to achieve more tail-recursivity.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 5 Dec 2001 11:57:06 +0000 (11:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 5 Dec 2001 11:57:06 +0000 (11:57 +0000)
commit39b862c075fad2536c35ed3515a0b1ffd478681a
tree1c0e614122e6b6fc08c3a270897b9c258da8686dtree | snapshot
parent234daa5c3bb5fd17a5dda949692b80d79d7e8ab3commit | diff
Debugging code removed to achieve more tail-recursivity.
helm/ocaml/cic_proof_checking/cicReduction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.