| Tue, 29 Jul 2008 08:15:39 +0200 | haftmann | some steps towards explicit class target for canonical interpretation | changeset | files |
| Tue, 29 Jul 2008 08:15:38 +0200 | haftmann | declare | changeset | files |
| Mon, 28 Jul 2008 20:49:07 +0200 | nipkow | *** empty log message *** | changeset | files |
| Sun, 27 Jul 2008 20:08:16 +0200 | urbanc | simplified a proof | changeset | files |
| Sat, 26 Jul 2008 09:00:26 +0200 | haftmann | tuned function name | changeset | files |
| Sat, 26 Jul 2008 09:00:25 +0200 | haftmann | tuned bootstrap order | changeset | files |
| Fri, 25 Jul 2008 12:03:37 +0200 | haftmann | subclass now also works for subclasses with empty specificaton | changeset | files |
| Fri, 25 Jul 2008 12:03:36 +0200 | haftmann | dropped PureThy.note; added PureThy.add_thm | changeset | files |
| Fri, 25 Jul 2008 12:03:34 +0200 | haftmann | added class preorder | changeset | files |
| Fri, 25 Jul 2008 12:03:32 +0200 | haftmann | dropped locale (open) | changeset | files |
| Fri, 25 Jul 2008 12:03:31 +0200 | haftmann | added explicit root theory; some tuning | changeset | files |
| Fri, 25 Jul 2008 12:03:28 +0200 | haftmann | tuned | changeset | files |
| Fri, 25 Jul 2008 07:35:53 +0200 | haftmann | dropped locale (open) | changeset | files |
| Mon, 21 Jul 2008 16:30:49 +0200 | haftmann | (re-)added simp rules for (_ + _) div/mod _ | changeset | files |