# HG changeset patch
# User schirmer
# Date 1126731899 -7200
# Node ID a639d580b34b830ca4e37b1c198300b55a5328b5
# Parent  c6338ed6caf838cf823fcd32d70f03f6354a5eb3
added prem10 - prem19

diff -r c6338ed6caf8 -r a639d580b34b src/Pure/Isar/term_style.ML
--- a/src/Pure/Isar/term_style.ML	Wed Sep 14 23:03:52 2005 +0200
+++ b/src/Pure/Isar/term_style.ML	Wed Sep 14 23:04:59 2005 +0200
@@ -79,6 +79,15 @@
   add_style "prem7" (style_parm_premise 7),
   add_style "prem8" (style_parm_premise 8),
   add_style "prem9" (style_parm_premise 9),
+  add_style "prem10" (style_parm_premise 10),
+  add_style "prem11" (style_parm_premise 11),
+  add_style "prem12" (style_parm_premise 12),
+  add_style "prem13" (style_parm_premise 13),
+  add_style "prem14" (style_parm_premise 14),
+  add_style "prem15" (style_parm_premise 15),
+  add_style "prem16" (style_parm_premise 16),
+  add_style "prem17" (style_parm_premise 17),
+  add_style "prem18" (style_parm_premise 18),
+  add_style "prem19" (style_parm_premise 19),
   add_style "concl" (K Logic.strip_imp_concl)];
-
 end;