Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renamed data kind;
authorwenzelm
Wed, 22 Jun 2005 19:41:29 +0200
changeset 16541 d539d47cce69
parent 16540 e3d61eff7c12
child 16542 1259088dc448
renamed data kind;
src/Pure/Isar/term_style.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/term_style.ML	Wed Jun 22 19:41:28 2005 +0200
+++ b/src/Pure/Isar/term_style.ML	Wed Jun 22 19:41:29 2005 +0200
@@ -22,7 +22,7 @@
 
 structure StyleData = TheoryDataFun
 (struct
-  val name = "Isar/style";
+  val name = "Isar/antiquote_style";
   type T = ((Proof.context -> term -> term) * stamp) Symtab.table;
   val empty = Symtab.empty;
   val copy = I;
isabelle