--- a/src/Pure/IsaMakefile Wed Dec 03 09:53:58 2008 +0100
+++ b/src/Pure/IsaMakefile Wed Dec 03 15:58:44 2008 +0100
@@ -1,5 +1,3 @@
-#
-# $Id$
#
# IsaMakefile for Pure
#
@@ -78,8 +76,8 @@
Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML \
Thy/latex.ML Thy/present.ML Thy/term_style.ML Thy/thm_deps.ML \
Thy/thy_edit.ML Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML \
- Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML Tools/quickcheck.ML \
- Tools/value.ML Tools/isabelle_process.ML Tools/named_thms.ML \
+ Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML \
+ Tools/isabelle_process.ML Tools/named_thms.ML \
Tools/xml_syntax.ML assumption.ML axclass.ML codegen.ML config.ML \
conjunction.ML consts.ML context.ML context_position.ML conv.ML \
defs.ML display.ML drule.ML envir.ML facts.ML goal.ML \
@@ -88,7 +86,7 @@
proofterm.ML pure_setup.ML pure_thy.ML search.ML sign.ML \
simplifier.ML sorts.ML subgoal.ML tactic.ML tctical.ML term.ML \
term_subst.ML theory.ML thm.ML type.ML type_infer.ML unify.ML \
- variable.ML
+ variable.ML ../Tools/value.ML ../Tools/quickcheck.ML
@./mk