# HG changeset patch
# User haftmann
# Date 1160481556 -7200
# Node ID 070d176a8e2d5c95e472e7098e12a0483eb5c9c7
# Parent  868120282837fea48ebd5f68afe97d13b16a2803
stripped pointless head

diff -r 868120282837 -r 070d176a8e2d src/HOL/ex/Codegenerator.thy
--- a/src/HOL/ex/Codegenerator.thy	Tue Oct 10 13:59:13 2006 +0200
+++ b/src/HOL/ex/Codegenerator.thy	Tue Oct 10 13:59:16 2006 +0200
@@ -5,7 +5,7 @@
 header {* Test and Examples for code generator *}
 
 theory Codegenerator
-imports (*"~~/src/codegen/CodegenSetup"*) Main Records
+imports Main Records
 begin
 
 subsection {* booleans *}