| Fri, 20 Jul 2007 14:28:05 +0200 | haftmann | dropped Nat.ML legacy bindings | changeset | files |
| Fri, 20 Jul 2007 14:28:01 +0200 | haftmann | split class abs from class minus | changeset | files |
| Fri, 20 Jul 2007 14:27:56 +0200 | haftmann | simplified HOL bootstrap | changeset | files |
| Fri, 20 Jul 2007 00:01:40 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 19 Jul 2007 23:49:05 +0200 | wenzelm | ThyHeader.read: Source.of_string_limited; | changeset | files |
| Thu, 19 Jul 2007 23:49:04 +0200 | wenzelm | added of_string_limited (more efficient for partial scans); | changeset | files |
| Thu, 19 Jul 2007 23:49:02 +0200 | wenzelm | added rep_ident; | changeset | files |
| Thu, 19 Jul 2007 23:49:00 +0200 | wenzelm | added pprint for Path.T, File.ident; | changeset | files |
| Thu, 19 Jul 2007 23:18:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 19 Jul 2007 23:18:58 +0200 | wenzelm | removed obsolete use/update_thy_only; | changeset | files |
| Thu, 19 Jul 2007 23:18:56 +0200 | wenzelm | adapted ThyLoad.check_file etc.; | changeset | files |
| Thu, 19 Jul 2007 23:18:55 +0200 | wenzelm | adapted ThyLoad.deps_thy | changeset | files |
| Thu, 19 Jul 2007 23:18:55 +0200 | wenzelm | adapted ThyHeader.read; | changeset | files |
| Thu, 19 Jul 2007 23:18:54 +0200 | wenzelm | adapted ThyLoad.check_file; | changeset | files |