| changeset 36098 | 53992c639da5 |
| parent 34051 | 1a82e2e29d67 |
| child 37771 | 1bec64044b5e |
--- 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