| changeset 33593 | ef54e2108b74 |
| parent 33316 | 6a72af4e84b8 |
| child 35825 | a6aad5a70ed4 |
--- a/src/HOL/ATP_Linkup.thy Mon Nov 09 21:56:55 2009 +0100 +++ b/src/HOL/ATP_Linkup.thy Tue Nov 10 16:11:37 2009 +0100 @@ -7,7 +7,7 @@ header {* The Isabelle-ATP Linkup *} theory ATP_Linkup -imports Divides Record Hilbert_Choice Plain +imports Plain Hilbert_Choice uses "Tools/polyhash.ML" "Tools/res_clause.ML"