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 |
Tue, 21 Jul 2009 07:55:56 +0200 | haftmann | merged | changeset | files |