| changeset 52256 | 24f59223430d |
| parent 52254 | 994055f7db80 |
| child 52258 | 490860e0fbe2 |
--- a/src/HOL/Spec_Check/spec_check.ML Thu May 30 21:37:00 2013 +0200 +++ b/src/HOL/Spec_Check/spec_check.ML Thu May 30 21:47:48 2013 +0200 @@ -41,8 +41,6 @@ val column_width = Attrib.setup_config_int @{binding spec_check_column_width} (K 22) val style = Attrib.setup_config_string @{binding spec_check_style} (K "Perl") -open Property - type ('a, 'b) reader = 'b -> ('a * 'b) option type 'a rep = ('a -> string) option