src/Pure/proof_general.ML

 
 (* Response to interface queries about known objects *)
 
 local
  val topthy = Toplevel.theory_of o Toplevel.get_state
- fun pthm thy name = print_thm (get_thm thy (name, NONE))
+ fun pthm thy name = print_thm (get_thm thy (Name name))
 
  fun idvalue tp nm = ("idvalue",[("objtype",tp),("name",nm)])
 in
 fun askids (NONE, SOME "theory")  = send_thy_idtable NONE (ThyInfo.names())
   | askids (NONE, NONE) =  send_thy_idtable NONE (ThyInfo.names())