changeset 48611 | b34ff75c23a7 |
parent 47508 | 85c6268b4071 |
--- a/doc-src/TutorialI/Sets/Relations.thy Mon Jul 30 17:07:23 2012 +0200 +++ b/doc-src/TutorialI/Sets/Relations.thy Mon Jul 30 17:25:45 2012 +0200 @@ -1,7 +1,5 @@ theory Relations imports Main begin -ML "Pretty.margin_default := 64" - (*Id is only used in UNITY*) (*refl, antisym,trans,univalent,\<dots> ho hum*)