]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52a90cb) | patch
Improved error messages in place of "sort elimination not allowed".
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2008 17:22:19 +0000 (17:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2008 17:22:19 +0000 (17:22 +0000)
commit90a9ceff7dc614e7be0b600fc6c820abd980595a
tree78c15bdf70afbfbf47eab6ca892ea2c096ca3862tree | snapshot
parent52a90cb35796f2f090c97e41dc13ab1715877234commit | diff
Improved error messages in place of "sort elimination not allowed".
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.