]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a613a4) | 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)
commit914ebf94df588f5a1eef9ba62900259e9570f6b3
treeaaf8afd55145a28a3896919ff25dc3d8c548fd37tree | snapshot
parent1a613a4c0b68938f0ced6e190adffa805d1b5680commit | diff
"21" -> "Implicit found"
components/cic_proof_checking/cicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.