src/HOL/MicroJava/BV/BVExample.thy
Wed, 07 Feb 2007 17:44:07 +0100 berghofe Adapted to new inductive definition package.
Tue, 31 Oct 2006 09:28:56 +0100 haftmann adapted to new serializer syntax
Tue, 10 Oct 2006 09:17:21 +0200 haftmann removed quote in serialization
Tue, 19 Sep 2006 15:21:52 +0200 haftmann added some stuff for code generation 2
Sun, 25 Sep 2005 20:15:29 +0200 berghofe Now uses set implementation from ExecutableSet.
Sat, 17 Sep 2005 18:11:25 +0200 wenzelm removed obsolete BasisLibrary;
less more (0) -10 -6 tip