]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30e8924) | patch
removed a useless test on explicit substitutions on variables with body
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 Jun 2004 11:30:14 +0000 (11:30 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 Jun 2004 11:30:14 +0000 (11:30 +0000)
commit8785bed95dc83a39c76356657d8b21b302b18b12
tree1c1b50b1c8e2417c38e1cde022bda558b1cf0abdtree | snapshot
parent30e8924209af6a016681d9edbf65cbb567ff35d6commit | diff
removed a useless test on explicit substitutions on variables with body
helm/ocaml/cic_proof_checking/cicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.