Fri, 12 Dec 2008 17:00:42 +0100 | ballarin | Theory target distinguishes old and new locales. | changeset | files |
Fri, 12 Dec 2008 15:02:15 +0100 | ballarin | Merged. | changeset | files |
Fri, 12 Dec 2008 14:26:35 +0100 | ballarin | Ported to new locales. | changeset | files |
Fri, 12 Dec 2008 14:23:49 +0100 | ballarin | Merged; updated interpretation command in isar_syn.ML. | changeset | files |
Thu, 11 Dec 2008 18:34:05 +0100 | ballarin | Merged. | changeset | files |
Thu, 11 Dec 2008 18:30:26 +0100 | ballarin | Conversion of HOL-Main and ZF to new locales. | changeset | files |