src/Pure/IsaMakefile
changeset 28318 6b8d001ce1de
parent 28299 14ab7a17e92b
child 28404 b906dd1de855
     1.1 --- a/src/Pure/IsaMakefile	Mon Sep 22 15:26:11 2008 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Mon Sep 22 15:26:11 2008 +0200
     1.3 @@ -76,14 +76,13 @@
     1.4    Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML Tools/quickcheck.ML	\
     1.5    Tools/value.ML Tools/isabelle_process.ML Tools/named_thms.ML		\
     1.6    Tools/xml_syntax.ML assumption.ML axclass.ML codegen.ML config.ML	\
     1.7 -  conjunction.ML consts.ML context.ML conv.ML defs.ML deriv.ML		\
     1.8 -  display.ML drule.ML envir.ML facts.ML goal.ML interpretation.ML	\
     1.9 -  library.ML logic.ML meta_simplifier.ML more_thm.ML morphism.ML	\
    1.10 -  name.ML net.ML old_goals.ML pattern.ML primitive_defs.ML		\
    1.11 -  proofterm.ML pure_setup.ML pure_thy.ML search.ML sign.ML		\
    1.12 -  simplifier.ML sorts.ML subgoal.ML tactic.ML tctical.ML term.ML	\
    1.13 -  term_subst.ML theory.ML thm.ML type.ML type_infer.ML unify.ML		\
    1.14 -  variable.ML
    1.15 +  conjunction.ML consts.ML context.ML conv.ML defs.ML display.ML	\
    1.16 +  drule.ML envir.ML facts.ML goal.ML interpretation.ML library.ML	\
    1.17 +  logic.ML meta_simplifier.ML more_thm.ML morphism.ML name.ML net.ML	\
    1.18 +  old_goals.ML pattern.ML primitive_defs.ML proofterm.ML pure_setup.ML	\
    1.19 +  pure_thy.ML search.ML sign.ML simplifier.ML sorts.ML subgoal.ML	\
    1.20 +  tactic.ML tctical.ML term.ML term_subst.ML theory.ML thm.ML type.ML	\
    1.21 +  type_infer.ML unify.ML variable.ML
    1.22  	@./mk
    1.23  
    1.24