equal
deleted
inserted
replaced
29 Isar declaration attributes to access these. |
29 Isar declaration attributes to access these. |
30 |
30 |
31 ML (Config.T) Isar (attribute) |
31 ML (Config.T) Isar (attribute) |
32 |
32 |
33 eta_contract eta_contract |
33 eta_contract eta_contract |
|
34 show_brackets show_brackets |
34 show_sorts show_sorts |
35 show_sorts show_sorts |
35 show_types show_types |
36 show_types show_types |
36 show_question_marks show_question_marks |
37 show_question_marks show_question_marks |
37 show_consts show_consts |
38 show_consts show_consts |
38 |
39 |