]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61a30c3) | patch
Recently introduced bug fixed in the kernel: a stack was "forgot" during
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Mar 2006 18:33:30 +0000 (18:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Mar 2006 18:33:30 +0000 (18:33 +0000)
commiteca6985fb1ddae45b0600b5e44fd5c8f404d2842
tree797f4d4beb3787ca5ed53f52fc8e068d23d6f095tree | snapshot
parent61a30c31ff641754b05928bab997001d1c90c593commit | diff
Recently introduced bug fixed in the kernel: a stack was "forgot" during
reduction of a MutCase.
helm/software/components/cic_proof_checking/cicReduction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.