changeset 29105 | 8f38bf68d42e |
parent 28952 | 15a4b2cf8c34 |
child 29118 | 8f2481aa363d |
--- a/src/Pure/IsaMakefile Mon Dec 15 09:58:44 2008 +0100 +++ b/src/Pure/IsaMakefile Mon Dec 15 09:58:45 2008 +0100 @@ -86,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 ../Tools/value.ML ../Tools/quickcheck.ML + variable.ML ../Tools/quickcheck.ML @./mk