]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d0d810) | patch
Metavariable case in does_not_occur (hence weakly/stricly, positive, etc.)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Jul 2009 02:36:08 +0000 (02:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Jul 2009 02:36:08 +0000 (02:36 +0000)
commit498898aa5d4525d979fe5564c180ab75f6483c99
treeeb21d57fe99af7c628c09498b12e9d2fa1ceabf5tree | snapshot
parent5d0d8107649b9264ebe7d8ff2c69bf777179b0d2commit | diff
Metavariable case in does_not_occur (hence weakly/stricly, positive, etc.)
relaxed. Is this always correct??
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.