]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef08e2d) | patch
"21" -> "Implicit found"
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Sep 2006 13:22:38 +0000 (13:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Sep 2006 13:22:38 +0000 (13:22 +0000)
commitd356a5023cc06477b6d66a7b22a031ad7dffe947
tree1e48620d4808f2d66d80c5596d43b88abc3c6869tree | snapshot
parentef08e2dc4458a7db58575e1694e580c1a8e39a9bcommit | diff
"21" -> "Implicit found"
helm/software/components/cic_proof_checking/cicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.