     1.1 --- a/src/HOL/ex/ROOT.ML	Tue Jun 07 06:58:52 2011 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Tue Jun 07 07:04:53 2011 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4    "Hebrew",
     1.5    "Chinese",
     1.6    "Serbian",
     1.7 -  "TPTP_Export"
     1.8 +  "ATP_Export"
     1.9  ];
    1.10  
    1.11  use_thys [
changeset 44064	c9e87dc92d9e
parent 43478	c8673078f915
child 44083	3c58977e0911