# HG changeset patch
# User haftmann
# Date 1206641081 -3600
# Node ID fef9dde61a461d27fb7ee539a30013492f6deb36
# Parent  6abb5ed522a69b3054c8a649579a3a05f9fa0458
added Enum

diff -r 6abb5ed522a6 -r fef9dde61a46 src/HOL/ex/ExecutableContent.thy
--- a/src/HOL/ex/ExecutableContent.thy	Thu Mar 27 19:04:40 2008 +0100
+++ b/src/HOL/ex/ExecutableContent.thy	Thu Mar 27 19:04:41 2008 +0100
@@ -8,6 +8,7 @@
 imports
   Main
   Eval
+  Enum
   Code_Index
   "~~/src/HOL/ex/Records"
   AssocList