]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_proof_checking/cicReductionMachine.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 589ae89) | patch
use "assert false" where needed
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 12:29:48 +0000 (12:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 12:29:48 +0000 (12:29 +0000)
commite56b03bebff0a107ba82dbf078c75c5266175adb
tree49285feb1dd6bbb4444431a0a5c070f0bf8dd199tree | snapshot
parent589ae89bb5148143ea9362cb4c1c38aa4b1c316dcommit | diff
use "assert false" where needed
helm/ocaml/cic_proof_checking/cicReductionMachine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.