doc-src/TutorialI/Sets/Functions.thy
2011-05-02 wenzelm 2011-05-02 eliminated old CVS Ids;
2010-09-30 haftmann 2010-09-30 updated files to recent changes
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.;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-01-26 nipkow 2001-01-26 *** empty log message ***
2001-01-10 paulson 2001-01-10 now using "by" for one-line proofs
2001-01-10 nipkow 2001-01-10 *** empty log message ***
2000-10-26 paulson 2000-10-26 added the $Id:$ line
2000-10-23 paulson 2000-10-23 the Sets chapter and theories