| Fri, 20 Jun 2008 21:00:28 +0200 | haftmann | explicit thm context for error messages | changeset | files |
| Fri, 20 Jun 2008 21:00:27 +0200 | haftmann | using tages to find theory names | changeset | files |
| Fri, 20 Jun 2008 21:00:26 +0200 | haftmann | type constructors now with markup | changeset | files |
| Fri, 20 Jun 2008 21:00:25 +0200 | haftmann | fixed bind error for malformed primrec specifications | changeset | files |
| Fri, 20 Jun 2008 21:00:22 +0200 | haftmann | DatatypeProp.make_distincts: only one half of each symmetric pair is constructed | changeset | files |
| Fri, 20 Jun 2008 21:00:21 +0200 | haftmann | streamlined definitions | changeset | files |
| Fri, 20 Jun 2008 21:00:16 +0200 | haftmann | moved Float.thy to Library | changeset | files |