| Wed, 28 Feb 2007 22:05:44 +0100 | wenzelm | exported get_ss, map_ss; | changeset | files |
| Wed, 28 Feb 2007 22:05:43 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Feb 2007 22:05:43 +0100 | wenzelm | tuned ML setup; | changeset | files |
| Wed, 28 Feb 2007 22:05:41 +0100 | wenzelm | added @{const_name}, @{const_syntax}; | changeset | files |
| Wed, 28 Feb 2007 16:35:00 +0100 | krauss | more cleanup | changeset | files |
| Wed, 28 Feb 2007 14:46:21 +0100 | aspinall | Add closeblock/openblock structure to proof-block commands | changeset | files |
| Wed, 28 Feb 2007 13:33:10 +0100 | paulson | Updated success string for Vampire. | changeset | files |
| Wed, 28 Feb 2007 12:51:46 +0100 | paulson | Now outputs metis calls | changeset | files |
| Wed, 28 Feb 2007 11:12:12 +0100 | krauss | added headers | changeset | files |
| Wed, 28 Feb 2007 10:36:10 +0100 | krauss | cleanup, fixing sml/nj related problems | changeset | files |
| Wed, 28 Feb 2007 00:22:26 +0100 | wenzelm | gensym: removed bits of dead code; | changeset | files |
| Tue, 27 Feb 2007 11:10:35 +0100 | paulson | gensym no longer includes ' or _ in names (trailing _ is bad) | changeset | files |