]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97b1823) | patch
added a missing whd
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 17 Apr 2008 16:34:44 +0000 (16:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 17 Apr 2008 16:34:44 +0000 (16:34 +0000)
commit5acff80c93b3e3df4a52ff8cb9596de46f7bd924
tree6829416af85e8fbcf7a51bef96ef7a0b0ccb97cbtree | snapshot
parent97b18234921aec71a8b89ec2c1b058e12e5e043ccommit | diff
added a missing whd
helm/software/components/cic_proof_checking/cicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.