src/Pure/Isar/isar_syn.ML
changeset 55742 a989bdaf8121
parent 55385 169e12bbf9a3
child 55761 213b9811f59f
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Tue Feb 25 12:53:08 2014 +0100
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Tue Feb 25 14:34:18 2014 +0100
     1.3 @@ -809,7 +809,7 @@
     1.4  val _ =
     1.5    Outer_Syntax.improper_command @{command_spec "print_methods"} "print methods of this theory"
     1.6      (Scan.succeed (Toplevel.unknown_theory o
     1.7 -      Toplevel.keep (Method.print_methods o Toplevel.theory_of)));
     1.8 +      Toplevel.keep (Method.print_methods o Toplevel.context_of)));
     1.9  
    1.10  val _ =
    1.11    Outer_Syntax.improper_command @{command_spec "print_antiquotations"} "print antiquotations"