src/Pure/Isar/term_style.ML
changeset 17392 a639d580b34b
parent 17221 6cd180204582
child 17412 e26cb20ef0cc
     1.1 --- a/src/Pure/Isar/term_style.ML	Wed Sep 14 23:03:52 2005 +0200
     1.2 +++ b/src/Pure/Isar/term_style.ML	Wed Sep 14 23:04:59 2005 +0200
     1.3 @@ -79,6 +79,15 @@
     1.4    add_style "prem7" (style_parm_premise 7),
     1.5    add_style "prem8" (style_parm_premise 8),
     1.6    add_style "prem9" (style_parm_premise 9),
     1.7 +  add_style "prem10" (style_parm_premise 10),
     1.8 +  add_style "prem11" (style_parm_premise 11),
     1.9 +  add_style "prem12" (style_parm_premise 12),
    1.10 +  add_style "prem13" (style_parm_premise 13),
    1.11 +  add_style "prem14" (style_parm_premise 14),
    1.12 +  add_style "prem15" (style_parm_premise 15),
    1.13 +  add_style "prem16" (style_parm_premise 16),
    1.14 +  add_style "prem17" (style_parm_premise 17),
    1.15 +  add_style "prem18" (style_parm_premise 18),
    1.16 +  add_style "prem19" (style_parm_premise 19),
    1.17    add_style "concl" (K Logic.strip_imp_concl)];
    1.18 -
    1.19  end;