Tue, 21 Jul 2009 14:36:26 +0200 | haftmann | moved abstract algebra section to the end | changeset | files |
Tue, 21 Jul 2009 11:13:47 +0200 | haftmann | merged | changeset | files |
Tue, 21 Jul 2009 11:09:50 +0200 | haftmann | Set.thy: prefer = over == where possible; tuned ML setup; dropped (moved) ML legacy | changeset | files |