]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e263d21) | patch
added whd to match argument in guarded_by_destructors;
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 7 Jun 2005 15:44:16 +0000 (15:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 7 Jun 2005 15:44:16 +0000 (15:44 +0000)
commit055981b13cb4222632a46dbdf07859f522569d52
treef8e87ce4b2619bf9e6ee688f491b55ff8bde2ee0tree | snapshot
parente263d21984563a9c8bbbc4900e0b5efd3cbf2da0commit | diff
added whd to match argument in guarded_by_destructors;
before only verbatim occurrences of safe variables were accepted.
helm/ocaml/cic_proof_checking/cicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.