| changeset 23903 | 42dc8d00e4c8 |
| parent 23466 | 886655a150f6 |
| child 24020 | ed4d7abffee7 |
--- 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;