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.
proper import of ~~/src/HOL/ex/ReflectedFerrack;
authorwenzelm
Thu, 01 Jan 2009 21:27:45 +0100
changeset 29295 93b819a44146
parent 29294 6cd3ac4708d2
child 29296 96cf8edb6249
proper import of ~~/src/HOL/ex/ReflectedFerrack;
doc-src/IsarAdvanced/Codegen/Thy/Setup.thy file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarAdvanced/Codegen/Thy/Setup.thy	Thu Jan 01 21:00:33 2009 +0100
+++ b/doc-src/IsarAdvanced/Codegen/Thy/Setup.thy	Thu Jan 01 21:27:45 2009 +0100
@@ -5,7 +5,7 @@
 
 ML {* no_document use_thys
   ["Efficient_Nat", "Code_Char_chr", "Product_ord", "Imperative_HOL",
-   "~~/src/HOL/Complex/ex/ReflectedFerrack"] *}
+   "~~/src/HOL/ex/ReflectedFerrack"] *}
 
 ML_val {* Code_Target.code_width := 74 *}
isabelle