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 attribute dlo into attribute ferrack
authorchaieb
Sun, 22 Jul 2007 17:53:48 +0200
changeset 23903 42dc8d00e4c8
parent 23902 c69069242a51
child 23904 ba6c806590f8
Renamed attribute dlo into attribute ferrack
src/HOL/Tools/Qelim/ferrante_rackoff_data.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Qelim/ferrante_rackoff_data.ML	Sun Jul 22 17:53:45 2007 +0200
+++ b/src/HOL/Tools/Qelim/ferrante_rackoff_data.ML	Sun Jul 22 17:53:48 2007 +0200
@@ -144,6 +144,6 @@
 (* theory setup *)
 
 val setup =
-  Attrib.add_attributes [("dlo", att_syntax, "Ferrante Rackoff data")];
+  Attrib.add_attributes [("ferrack", att_syntax, "Ferrante Rackoff data")];
 
 end;
isabelle