| Wed, 19 Oct 2005 21:52:35 +0200 | wenzelm | removed obsolete domain/interface.ML; | changeset | files |
| Wed, 19 Oct 2005 21:52:34 +0200 | wenzelm | removed obsolete add_typedef_x; | changeset | files |
| Wed, 19 Oct 2005 21:52:33 +0200 | wenzelm | removed print_exn (better let the toplevel do this); | changeset | files |
| Wed, 19 Oct 2005 21:52:32 +0200 | wenzelm | removed obsolete add_recdef_old; | changeset | files |
| Wed, 19 Oct 2005 21:52:31 +0200 | wenzelm | removed obsolete HOL/thy_syntax.ML; | changeset | files |
| Wed, 19 Oct 2005 21:52:30 +0200 | wenzelm | * Theory syntax: discontinued non-Isar format and old Isar headers; | changeset | files |
| Wed, 19 Oct 2005 21:52:29 +0200 | wenzelm | replaced commafy by existing commas; | changeset | files |
| Wed, 19 Oct 2005 21:52:28 +0200 | wenzelm | updated; | changeset | files |
| Wed, 19 Oct 2005 21:52:27 +0200 | wenzelm | isatool fixheaders; | changeset | files |
| Wed, 19 Oct 2005 21:52:07 +0200 | wenzelm | fix headers; | changeset | files |
| Wed, 19 Oct 2005 17:21:53 +0200 | haftmann | added table functor instance for pairs of strings | changeset | files |
| Wed, 19 Oct 2005 17:19:52 +0200 | haftmann | added subgraph | changeset | files |
| Wed, 19 Oct 2005 17:19:37 +0200 | haftmann | added join | changeset | files |
| Wed, 19 Oct 2005 16:32:09 +0200 | haftmann | slight improvements for website | changeset | files |