]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e02c6e8) | patch
Bug fixed: when a variable not instantiated yet was restricted, some
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Feb 2004 14:22:11 +0000 (14:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Feb 2004 14:22:11 +0000 (14:22 +0000)
commitb3769ff3eb77ec8fa27ac46ec1076941a16bd3a5
tree350f9e9b6836a29877d29662e69841753bd2b1b3tree | snapshot
parente02c6e8e53e94e0bc7e2556fcd67645f46b039fccommit | diff
Bug fixed: when a variable not instantiated yet was restricted, some
nececssary restrictions were not performed due to a typo.
helm/ocaml/cic_unification/cicMetaSubst.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.