doc-src/TutorialI/Inductive/document/AB.tex
Tue, 16 Aug 2005 13:42:23 +0200 wenzelm updated;
Tue, 28 Jun 2005 15:26:32 +0200 paulson replacing zabs_def by abs_if
less more (0) -30 -10 -2 tip