changeset 35859 | 9d0d545bcb5d |
parent 35126 | ce6544f42eb9 |
child 36106 | 19deea200358 |
--- a/src/Pure/Isar/overloading.ML Sun Mar 21 08:46:49 2010 +0100 +++ b/src/Pure/Isar/overloading.ML Sun Mar 21 08:46:50 2010 +0100 @@ -13,7 +13,7 @@ val define: bool -> binding -> string * term -> theory -> thm * theory val operation: Proof.context -> binding -> (string * bool) option val pretty: Proof.context -> Pretty.T - + type improvable_syntax val add_improvable_syntax: Proof.context -> Proof.context val map_improvable_syntax: (improvable_syntax -> improvable_syntax)