]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a7ec6a) | patch
weakly/strictly positive checks relaxed to allow metavariables that are not
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Jul 2009 02:23:02 +0000 (02:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Jul 2009 02:23:02 +0000 (02:23 +0000)
commit0ef9250d71eacd6b1022194128e6acfb74d52aac
treefffa3f2e03ab09266552c7a91fafae66af9c79f1tree | snapshot
parent9a7ec6adbfd12e5305800a033d1b471afe316abdcommit | diff
weakly/strictly positive checks relaxed to allow metavariables that are not
substituted
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.