--- a/src/HOL/IsaMakefile Mon Jul 12 16:05:08 2010 +0200
+++ b/src/HOL/IsaMakefile Mon Jul 12 16:19:15 2010 +0200
@@ -810,17 +810,17 @@
HOL-Imperative_HOL: HOL $(LOG)/HOL-Imperative_HOL.gz
-$(LOG)/HOL-Imperative_HOL.gz: $(OUT)/HOL Imperative_HOL/Heap.thy \
- Imperative_HOL/Heap_Monad.thy Imperative_HOL/Array.thy \
- Imperative_HOL/Relational.thy \
- Imperative_HOL/Ref.thy Imperative_HOL/Imperative_HOL.thy \
- Imperative_HOL/Imperative_HOL_ex.thy \
- Imperative_HOL/ex/Imperative_Quicksort.thy \
- Imperative_HOL/ex/Imperative_Reverse.thy \
- Imperative_HOL/ex/Linked_Lists.thy \
- Imperative_HOL/ex/SatChecker.thy \
- Imperative_HOL/ex/Sorted_List.thy \
- Imperative_HOL/ex/Subarray.thy \
+$(LOG)/HOL-Imperative_HOL.gz: $(OUT)/HOL Imperative_HOL/Array.thy \
+ Imperative_HOL/Heap.thy Imperative_HOL/Heap_Monad.thy \
+ Imperative_HOL/Imperative_HOL.thy Imperative_HOL/Imperative_HOL_ex.thy\
+ Imperative_HOL/Mrec.thy Imperative_HOL/Relational.thy \
+ Imperative_HOL/Ref.thy \
+ Imperative_HOL/ex/Imperative_Quicksort.thy \
+ Imperative_HOL/ex/Imperative_Reverse.thy \
+ Imperative_HOL/ex/Linked_Lists.thy \
+ Imperative_HOL/ex/SatChecker.thy \
+ Imperative_HOL/ex/Sorted_List.thy \
+ Imperative_HOL/ex/Subarray.thy \
Imperative_HOL/ex/Sublist.thy
@$(ISABELLE_TOOL) usedir $(OUT)/HOL Imperative_HOL