doc-src/TutorialI/Misc/simp.thy
Mon, 10 Feb 2003 15:57:46 +0100 nipkow *** empty log message ***
Thu, 03 Oct 2002 09:54:54 +0200 nipkow *** empty log message ***
Fri, 04 Jan 2002 19:24:43 +0100 wenzelm tuned;
less more (0) -10 -3 tip