src/HOL/MicroJava/J/Example.thy
Tue, 23 Oct 2001 22:52:31 +0200 wenzelm eliminated old numerals;
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
less more (0) -10 -2 tip