]> matita.cs.unibo.it Git - helm.git/commit
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
tree49285feb1dd6bbb4444431a0a5c070f0bf8dd199
parent589ae89bb5148143ea9362cb4c1c38aa4b1c316d
use "assert false" where needed
helm/ocaml/cic_proof_checking/cicReductionMachine.ml