1.1 --- a/src/Pure/IsaMakefile	Wed Dec 03 09:53:58 2008 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Wed Dec 03 15:58:44 2008 +0100
     1.3 @@ -1,5 +1,3 @@
     1.4 -#
     1.5 -# $Id$
     1.6  #
     1.7  # IsaMakefile for Pure
     1.8  #
     1.9 @@ -78,8 +76,8 @@
    1.10    Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML	\
    1.11    Thy/latex.ML Thy/present.ML Thy/term_style.ML Thy/thm_deps.ML		\
    1.12    Thy/thy_edit.ML Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML	\
    1.13 -  Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML Tools/quickcheck.ML	\
    1.14 -  Tools/value.ML Tools/isabelle_process.ML Tools/named_thms.ML		\
    1.15 +  Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML 	\
    1.16 +  Tools/isabelle_process.ML Tools/named_thms.ML		\
    1.17    Tools/xml_syntax.ML assumption.ML axclass.ML codegen.ML config.ML	\
    1.18    conjunction.ML consts.ML context.ML context_position.ML conv.ML	\
    1.19    defs.ML display.ML drule.ML envir.ML facts.ML goal.ML			\
    1.20 @@ -88,7 +86,7 @@
    1.21    proofterm.ML pure_setup.ML pure_thy.ML search.ML sign.ML		\
    1.22    simplifier.ML sorts.ML subgoal.ML tactic.ML tctical.ML term.ML	\
    1.23    term_subst.ML theory.ML thm.ML type.ML type_infer.ML unify.ML		\
    1.24 -  variable.ML
    1.25 +  variable.ML ../Tools/value.ML ../Tools/quickcheck.ML
    1.26  	@./mk
    1.27  
    1.28