]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 086c66b) | patch
1. The depth constraint on Rels and Sorts is now optional.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 13:15:28 +0000 (13:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 13:15:28 +0000 (13:15 +0000)
commit6e220814540ca1c8dd99189ad7bdb8838764650e
tree078be565c8590a81eb9e696ed219e108daac6dc6tree | snapshot
parent086c66b6682a49fec4041c25e741b2736f385e6acommit | diff
1. The depth constraint on Rels and Sorts is now optional.
2. "only" (ex "can") constraints are copies of the "must" constraints
helm/gTopLevel/mQueryLevels2.ml diff | blob | history
helm/gTopLevel/mQueryLevels2.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.