src/HOL/MicroJava/J/JListExample.thy

--- a/src/HOL/MicroJava/J/JListExample.thy	Mon Aug 10 13:34:50 2009 +0200
+++ b/src/HOL/MicroJava/J/JListExample.thy	Tue Aug 11 10:05:16 2009 +0200
@@ -1,12 +1,11 @@
 (*  Title:      HOL/MicroJava/J/JListExample.thy
-    ID:         $Id$
     Author:     Stefan Berghofer
 *)
 
 header {* \isaheader{Example for generating executable code from Java semantics} *}
 
 theory JListExample
-imports Eval SystemClasses
+imports Eval
 begin
 
 ML {* Syntax.ambiguity_level := 100000 *}