]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_proof_checking/cicCooking.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df1279b) | patch
Discharging of variables with a body was bugged. Fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 5 Dec 2001 10:53:40 +0000 (10:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 5 Dec 2001 10:53:40 +0000 (10:53 +0000)
commit91a053eb7a6ced7443122635312718a53aab803f
tree1a1a54c63d75f2a042755b4199869471a113e5f4tree | snapshot
parentdf1279b974ef4fc958d3ddb20b7416ea116d929ccommit | diff
Discharging of variables with a body was bugged. Fixed.
helm/ocaml/cic_proof_checking/cicCooking.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.