doc-src/TutorialI/Inductive/document/AB.tex
Mon, 22 Oct 2001 12:01:35 +0200 paulson Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
less more (0) -10 -1 tip