changeset 23878 | bd651ecd4b8a |
parent 23519 | a4ffa756d8eb |
child 24161 | 09027ee4eeaa |
--- a/src/HOL/ATP_Linkup.thy Fri Jul 20 00:01:40 2007 +0200 +++ b/src/HOL/ATP_Linkup.thy Fri Jul 20 14:27:56 2007 +0200 @@ -7,7 +7,7 @@ header{* The Isabelle-ATP Linkup *} theory ATP_Linkup -imports Map Hilbert_Choice +imports Divides Hilbert_Choice Record uses "Tools/polyhash.ML" "Tools/res_clause.ML"