src/HOL/NanoJava/Example.thy
Fri, 13 Oct 2006 18:15:18 +0200 berghofe Adapted to changes in FixedPoint theory.
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
less more (0) -2 tip