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;
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
less more (0) -3 tip