| Thu, 18 Feb 2016 17:53:09 +0100 | haftmann | more theorems | changeset | files |
| Thu, 18 Feb 2016 17:52:53 +0100 | haftmann | sorted out some duplicate fact bindings | changeset | files |
| Thu, 18 Feb 2016 17:52:52 +0100 | haftmann | more direct bootstrap of char type, still retaining the nibble representation for syntax | changeset | files |
| Fri, 19 Feb 2016 15:01:38 +0100 | wenzelm | moved examples to avoid dependency on bulky HOL-Proofs session, e.g. relevant for "isabelle makedist"; | changeset | files |