renamed data kind;
authorwenzelm
Wed Jun 22 19:41:29 2005 +0200 (2005-06-22 ago)
changeset 16541d539d47cce69
parent 16540 e3d61eff7c12
child 16542 1259088dc448
renamed data kind;
src/Pure/Isar/term_style.ML
     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;