src/HOL/ex/ROOT.ML
changeset 42071 04577a7e0c51
parent 41952 c7297638599b
child 42078 d5bf0ce40bd7
     1.1 --- a/src/HOL/ex/ROOT.ML	Wed Mar 23 09:15:49 2011 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Wed Mar 23 10:06:27 2011 +0100
     1.3 @@ -73,7 +73,8 @@
     1.4    "Quicksort",
     1.5    "Birthday_Paradoxon",
     1.6    "List_to_Set_Comprehension_Examples",
     1.7 -  "Set_Algebras"
     1.8 +  "Set_Algebras",
     1.9 +  "TPTP"
    1.10  ];
    1.11  
    1.12  if getenv "ISABELLE_GHC" = "" then ()