author | haftmann |
Sun, 21 Mar 2010 08:46:50 +0100 | |
changeset 35859 | 9d0d545bcb5d |
parent 35858 | 0d394a82337e |
child 35860 | 76c7374a0fa6 |
--- 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)