]> matita.cs.unibo.it Git - helm.git/commit
fixes backported from the new kernel
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 12:56:27 +0000 (12:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 12:56:27 +0000 (12:56 +0000)
commit04d8e2282a3536a9b822a8dbfcbdb4e3a949f04d
treeb0558e8405acefbdd1e9cc08dd58bbf77d770738
parent0f67d865f8fa608397c9cd5d534c51e7f1e4ae55
fixes backported from the new kernel
helm/software/components/cic_proof_checking/cicTypeChecker.ml