added @{theory};

--- a/src/Pure/Thy/thy_info.ML	Sat Jan 20 14:09:21 2007 +0100
+++ b/src/Pure/Thy/thy_info.ML	Sat Jan 20 14:09:22 2007 +0100
@@ -202,6 +202,11 @@
 
 fun put_theory name theory = change_thy name (fn (deps, _) => (deps, SOME theory));
 
+val _ = ML_Context.value_antiq "theory"
+  (Scan.lift Args.name
+    >> (fn name => (name ^ "_thy", "ThyInfo.theory " ^ ML_Syntax.print_string name))
+  || Scan.succeed ("thy", "ML_Context.the_context_finished ()"));
+
 
 
 (** thy operations **)