equal
deleted
inserted
replaced
132 |
132 |
133 |
133 |
134 (* setup *) |
134 (* setup *) |
135 |
135 |
136 val setup = Context.theory_map |
136 val setup = Context.theory_map |
137 (Syntax.add_term_check 0 "adhoc_overloading" check |
137 (Syntax.context_term_check 0 "adhoc_overloading" check |
138 #> Syntax.add_term_check 1 "adhoc_overloading_unresolved_check" reject_unresolved |
138 #> Syntax.context_term_check 1 "adhoc_overloading_unresolved_check" reject_unresolved |
139 #> Syntax.add_term_uncheck 0 "adhoc_overloading" uncheck); |
139 #> Syntax.context_term_uncheck 0 "adhoc_overloading" uncheck); |
140 |
140 |
141 end |
141 end |