| Mon, 19 Sep 2005 16:39:27 +0200 | haftmann | removed some deprecated assocation list functions | changeset | files |
| Mon, 19 Sep 2005 16:38:35 +0200 | haftmann | introduced AList module | changeset | files |
| Mon, 19 Sep 2005 15:12:13 +0200 | paulson | simplification of the Isabelle-ATP code; hooks for batch generation of problems | changeset | files |
| Mon, 19 Sep 2005 14:20:45 +0200 | kleing | update usage message | changeset | files |
| Mon, 19 Sep 2005 12:05:08 +0200 | wenzelm | obsolete; | changeset | files |
| Sun, 18 Sep 2005 15:20:08 +0200 | wenzelm | converted to Isar theory format; | changeset | files |
| Sun, 18 Sep 2005 14:25:48 +0200 | wenzelm | converted to Isar theory format; | changeset | files |