]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b74f62) | patch
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
treeec92fb6cdef0e51d397c044ea0eeb9b3a91f3397tree | snapshot
parent3b74f626ef19a7ffccb8264f3230fb5efeb7ec6ecommit | diff
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 diff | blob | history
helm/software/components/cic/cicParser.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.