src/Pure/conjunction.ML

--- a/src/Pure/conjunction.ML	Thu Oct 23 14:22:16 2008 +0200
+++ b/src/Pure/conjunction.ML	Thu Oct 23 15:28:01 2008 +0200
@@ -70,7 +70,7 @@
 val A_B = read_prop "A && B";
 
 val conjunction_def =
-  Thm.unvarify (Thm.get_axiom (Context.the_theory (Context.the_thread_data ())) "conjunction_def");
+  Thm.unvarify (Thm.axiom (Context.the_theory (Context.the_thread_data ())) "Pure.conjunction_def");
 
 fun conjunctionD which =
   Drule.implies_intr_list [A, B] (Thm.assume (which (A, B))) COMP