equal
deleted
inserted
replaced
26 [("_constrain", typ "logic => type => logic", Mixfix ("_ \<Colon> _", [4, 0], 3)), |
26 [("_constrain", typ "logic => type => logic", Mixfix ("_ \<Colon> _", [4, 0], 3)), |
27 ("_constrain", typ "prop' => type => prop'", Mixfix ("_ \<Colon> _", [4, 0], 3))] |
27 ("_constrain", typ "prop' => type => prop'", Mixfix ("_ \<Colon> _", [4, 0], 3))] |
28 end |
28 end |
29 *} |
29 *} |
30 |
30 |
31 setup {* Code_Target.set_default_code_width 74 *} |
31 declare [[default_code_width = 74]] |
32 |
32 |
33 declare [[names_unique = false]] |
33 declare [[names_unique = false]] |
34 |
34 |
35 end |
35 end |
36 |
|