]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b1eb6d) | patch
\forall x:?. and \forall x. both generate a meta for a type
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 28 Nov 2008 16:18:11 +0000 (16:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 28 Nov 2008 16:18:11 +0000 (16:18 +0000)
commitaa941d8c9c451264a721364db1e412b877d4a08f
tree384c8ed836731e49866f843e4dca6bfd48b51baftree | snapshot
parent2b1eb6d5cd2d3ff5024e48615df4b99692008690commit | diff
\forall x:?. and \forall x. both generate a meta for a type
helm/software/components/ng_disambiguation/nCicDisambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.