]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5549be6) | patch
Added a new boolean parameter "facts" (default=false) to most of the
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 4 Nov 2004 10:15:10 +0000 (10:15 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 4 Nov 2004 10:15:10 +0000 (10:15 +0000)
commit6e986001aac7cc63b0e7d13447caae3729e0f833
tree0af6e0ef958ba5546af792b4a804c24adbe28b57tree | snapshot
parent5549be611f33cb52e4725e65b7f9603de22de863commit | diff
Added a new boolean parameter "facts" (default=false) to most of the
methods. The idea is that when facts=true search should be restricted
to facts (theorems without hypothesis). To be used at the maximum
depth of automatic tactcis.
helm/ocaml/metadata/metadataConstraints.ml diff | blob | history
helm/ocaml/metadata/metadataConstraints.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.