| Fri, 20 Jul 2007 14:28:25 +0200 | haftmann | moved class ord from Orderings.thy to HOL.thy | changeset | files |
| 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 |