]> matita.cs.unibo.it Git - helm.git/commit
added flag to change Set into Type on the fly, that helps on some coq objects using...
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 19 Apr 2008 16:26:21 +0000 (16:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 19 Apr 2008 16:26:21 +0000 (16:26 +0000)
commit9b9f415916ff4842c69f4918064d5dd64031df63
treeec92fb6cdef0e51d397c044ea0eeb9b3a91f3397
parent3b74f626ef19a7ffccb8264f3230fb5efeb7ec6e
added flag to change Set into Type on the fly, that helps on some coq objects using impredicative set
helm/software/components/cic/cicParser.ml
helm/software/components/cic/cicParser.mli