diff -r 32383448c01b -r 53992c639da5 src/HOL/Imperative_HOL/Imperative_HOL_ex.thy
--- a/src/HOL/Imperative_HOL/Imperative_HOL_ex.thy	Wed Apr 07 22:22:49 2010 +0200
+++ b/src/HOL/Imperative_HOL/Imperative_HOL_ex.thy	Thu Apr 08 08:17:27 2010 +0200
@@ -7,6 +7,7 @@
 
 theory Imperative_HOL_ex
 imports Imperative_HOL "ex/Imperative_Quicksort" "ex/Imperative_Reverse" "ex/Linked_Lists"
+  "ex/SatChecker"
 begin
 
 end