src/HOL/MicroJava/BV/BVExample.thy
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;
Thu, 25 Aug 2005 16:13:09 +0200 berghofe Adapted to new code generator syntax.
Fri, 01 Jul 2005 14:10:02 +0200 berghofe Added BasisLibrary prefix to List.concat to avoid problems with
less more (0) -10 -7 tip