| Sat, 28 Feb 2009 14:17:44 +0100 | wenzelm | * New prover for coherent logic (see src/Tools/coherent.ML). | changeset | files |
| Sat, 28 Feb 2009 14:17:27 +0100 | wenzelm | more CONTRIBUTORS; | changeset | files |
| Sat, 28 Feb 2009 14:09:58 +0100 | wenzelm | removed Ids; | changeset | files |
| Sat, 28 Feb 2009 14:02:12 +0100 | wenzelm | moved some generic tools to src/Tools/ -- src/Provers is essentially obsolete; | changeset | files |
| Sat, 28 Feb 2009 13:54:47 +0100 | wenzelm | some updates on ancient README; | changeset | files |
| Fri, 27 Feb 2009 19:05:46 -0800 | huffman | fixrec package uses new-style syntax and local-theory interface | changeset | files |
| Fri, 27 Feb 2009 18:34:20 -0800 | huffman | add function taken_names | changeset | files |