]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de33133) | patch
Non exhaustive match fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Nov 2005 17:40:38 +0000 (17:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Nov 2005 17:40:38 +0000 (17:40 +0000)
commit55ce3c06e925133b778f23cc188f7abeb6686ac0
tree70c352f2f12634ac2f395baa8d988df502faf4c9tree | snapshot
parentde331332663ed9e4673755268b35a0b0f717ff73commit | diff
Non exhaustive match fixed.
helm/ocaml/cic_proof_checking/cicElim.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.