]> matita.cs.unibo.it Git - helm.git/commit
fixed recursiveness check
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Aug 2008 07:29:58 +0000 (07:29 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Aug 2008 07:29:58 +0000 (07:29 +0000)
commitcbb7f68d7d012f385e74d466f0bce7881d9eb71c
tree0b545be8bb555dfe73bd4c7b1ec52c3c87752cac
parentc63d363ae3e92ca53e7ad010d2efbd69a0c6daae
fixed recursiveness check
helm/software/components/cic_proof_checking/cicTypeChecker.ml