src/HOL/NanoJava/Example.thy
Tue, 28 Sep 2010 12:47:55 +0200 haftmann modernized primrecs
Thu, 11 Feb 2010 00:45:02 +0100 wenzelm modernized translations;
less more (0) -2 tip