doc-src/TutorialI/Sets/Relations.thy
Sat, 08 May 2010 19:14:13 +0200 wenzelm unified/simplified Pretty.margin_default;
Wed, 07 May 2008 10:57:19 +0200 berghofe Adapted to encoding of sets as predicates
less more (0) -2 tip