--- a/src/Pure/theory.ML Wed Jul 17 23:51:10 2013 +0200
+++ b/src/Pure/theory.ML Thu Jul 18 13:12:54 2013 +0200
@@ -64,8 +64,8 @@
fun merge_list [] = raise THEORY ("Empty merge of theories", [])
| merge_list (thy :: thys) = Library.foldl merge (thy, thys);
-val checkpoint = Context.checkpoint_thy;
-val copy = Context.copy_thy;
+val checkpoint : theory -> theory = I; (* FIXME dummy *)
+val copy : theory -> theory = I; (* FIXME dummy *)
fun requires thy name what =
if exists (fn thy' => Context.theory_name thy' = name) (nodes_of thy) then ()