Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Eval theory
authorhaftmann
Mon, 26 Mar 2007 14:53:04 +0200
changeset 22521 8c000a2ea2f2
parent 22520 ebe95b0242b3
child 22522 783c8dbe3ade
Eval theory
src/HOL/ex/ExecutableContent.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/ExecutableContent.thy	Mon Mar 26 14:53:03 2007 +0200
+++ b/src/HOL/ex/ExecutableContent.thy	Mon Mar 26 14:53:04 2007 +0200
@@ -7,6 +7,7 @@
 theory ExecutableContent
 imports
   Main
+  Eval
   "~~/src/HOL/ex/Records"
   AssocList
   Binomial
@@ -23,7 +24,6 @@
   State_Monad
   While_Combinator
   Word
-  "~~/src/HOL/ex/CodeEval"
 begin
 
 definition
isabelle