]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fe92ca) | patch
New flags for demod:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Jun 2012 17:33:19 +0000 (17:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Jun 2012 17:33:19 +0000 (17:33 +0000)
commit89ee9d4b8b261b8f7b16adde5d39599ce325d39d
tree378f362d421a0a69d13cf34fb33a300afa06f84btree | snapshot
parent3fe92cae7c0d955c01ab5c117dc6a728c4500845commit | diff
New flags for demod:
  1) by ... now can be used to explicitly give the set of equations to use
  2) nohyps can now be used to avoid using the hypotheses
matita/components/ng_tactics/nnAuto.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.