changeset 35624 | c4e29a0bb8c1 |
parent 33519 | e31a85f92ce9 |
child 35717 | 1856c0172cf2 |
--- a/src/Pure/Isar/local_defs.ML Sat Mar 06 19:17:59 2010 +0000 +++ b/src/Pure/Isar/local_defs.ML Sun Mar 07 11:57:16 2010 +0100 @@ -34,7 +34,7 @@ ((string * typ) * term) * (Proof.context -> thm -> thm) end; -structure LocalDefs: LOCAL_DEFS = +structure Local_Defs: LOCAL_DEFS = struct (** primitive definitions **)