src/Pure/proof_general.ML
changeset 16486 1a12cdb6ee6b
parent 16440 9b6e6d5fba05
child 16534 95460b6eb712
     1.1 --- a/src/Pure/proof_general.ML	Mon Jun 20 22:13:58 2005 +0200
     1.2 +++ b/src/Pure/proof_general.ML	Mon Jun 20 22:13:59 2005 +0200
     1.3 @@ -715,7 +715,7 @@
     1.4  
     1.5  local
     1.6   val topthy = Toplevel.theory_of o Toplevel.get_state
     1.7 - fun pthm thy name = print_thm (get_thm thy (name, NONE))
     1.8 + fun pthm thy name = print_thm (get_thm thy (Name name))
     1.9  
    1.10   fun idvalue tp nm = ("idvalue",[("objtype",tp),("name",nm)])
    1.11  in