| Sat, 28 Feb 2009 14:52:21 +0100 | wenzelm | moved generic intuitionistic prover to src/Tools/intuitionistic.ML; | changeset | files |
| Sat, 28 Feb 2009 14:42:54 +0100 | wenzelm | tuned message; | changeset | files |
| Sat, 28 Feb 2009 14:17:44 +0100 | wenzelm | * New prover for coherent logic (see src/Tools/coherent.ML). | changeset | files |