| 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 |