doc-src/TutorialI/Sets/sets.tex
Fri, 06 Aug 2004 12:30:31 +0200 nipkow Undid \Union syntax with subscripts.
Wed, 24 Mar 2004 10:55:38 +0100 paulson auto update
Wed, 18 Feb 2004 16:01:37 +0100 paulson new Union syntax
less more (0) -30 -10 -3 tip