]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1a8ac6) | patch
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
tree104cde2bfe43b84feb15c5e14dec7ba0bee0cb9dtree | snapshot
parenta1a8ac61970fce48a3e0c8fa673a70a03e026c50commit | diff
Some interesting optimizations to prevent many bad checks.
helm/software/matita/contribs/formal_topology/bin/theory_explorer.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.