doc-src/TutorialI/Sets/Relations.thy
2012-04-17 wenzelm 2012-04-17 updated rel_comp ~> relcomp (cf. e1b761c216ac);
2011-05-02 wenzelm 2011-05-02 eliminated old CVS Ids;
2010-05-08 wenzelm 2010-05-08 unified/simplified Pretty.margin_default; discontinued special Pretty.setmargin etc; explicit margin argument for Pretty.string_of_margin etc.;
2008-05-07 berghofe 2008-05-07 Adapted to encoding of sets as predicates
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-12-13 nipkow 2001-12-13 *** empty log message ***
2001-05-29 paulson 2001-05-29 deleted a needless reference to rtrancl_unfold
2001-02-07 paulson 2001-02-07 various revisions in response to comments from Tobias
2001-01-11 paulson 2001-01-11 revisions corresponding to the new version of sets.tex
2000-10-26 paulson 2000-10-26 added the $Id:$ line
2000-10-23 paulson 2000-10-23 the Sets chapter and theories