src/Pure/Isar/term_style.ML
changeset 16541 d539d47cce69
parent 16424 18a07ad8fea8
child 17221 6cd180204582
     1.1 --- a/src/Pure/Isar/term_style.ML	Wed Jun 22 19:41:28 2005 +0200
     1.2 +++ b/src/Pure/Isar/term_style.ML	Wed Jun 22 19:41:29 2005 +0200
     1.3 @@ -22,7 +22,7 @@
     1.4  
     1.5  structure StyleData = TheoryDataFun
     1.6  (struct
     1.7 -  val name = "Isar/style";
     1.8 +  val name = "Isar/antiquote_style";
     1.9    type T = ((Proof.context -> term -> term) * stamp) Symtab.table;
    1.10    val empty = Symtab.empty;
    1.11    val copy = I;