]> matita.cs.unibo.it Git - helm.git/commit
Some interesting optimizations to prevent many bad checks.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jun 2007 22:08:43 +0000 (22:08 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jun 2007 22:08:43 +0000 (22:08 +0000)
commitf38566e4813dd4a8fc10d92deb0a3a0332a0f9fc
tree104cde2bfe43b84feb15c5e14dec7ba0bee0cb9d
parenta1a8ac61970fce48a3e0c8fa673a70a03e026c50
Some interesting optimizations to prevent many bad checks.
helm/software/matita/contribs/formal_topology/bin/theory_explorer.ml