src/HOL/ATP_Linkup.thy
changeset 25741 2d102ddaca8b
parent 25728 71e33d95ac55
child 26729 43a72d892594
     1.1 --- a/src/HOL/ATP_Linkup.thy	Fri Dec 21 20:29:32 2007 +0100
     1.2 +++ b/src/HOL/ATP_Linkup.thy	Sat Dec 22 14:10:22 2007 +0100
     1.3 @@ -19,7 +19,6 @@
     1.4    ("Tools/res_atp.ML")
     1.5    ("Tools/res_atp_provers.ML")
     1.6    ("Tools/res_atp_methods.ML")
     1.7 -  "~~/src/Tools/random_word.ML"
     1.8    "~~/src/Tools/Metis/metis.ML"
     1.9    ("Tools/metis_tools.ML")
    1.10  begin