# HG changeset patch
# User haftmann
# Date 1163428989 -3600
# Node ID 2605e1ccd9f2102ec0bc7f585e37aab47f992cde
# Parent  1fd8ba48ae9799a74627bebf9e869224a134214c
moved upwars in HOL theory graph

diff -r 1fd8ba48ae97 -r 2605e1ccd9f2 src/HOL/Refute.thy
--- a/src/HOL/Refute.thy	Mon Nov 13 15:43:08 2006 +0100
+++ b/src/HOL/Refute.thy	Mon Nov 13 15:43:09 2006 +0100
@@ -9,7 +9,7 @@
 header {* Refute *}
 
 theory Refute
-imports Map
+imports Datatype
 uses "Tools/prop_logic.ML"
      "Tools/sat_solver.ML"
      "Tools/refute.ML"