changeset 16435 | 3b17850023f1 |
parent 16377 | 9da1cf997e79 |
child 16465 | eb287ce97230 |
--- a/src/Pure/IsaMakefile Fri Jun 17 18:33:19 2005 +0200 +++ b/src/Pure/IsaMakefile Fri Jun 17 18:33:20 2005 +0200 @@ -60,7 +60,7 @@ goals.ML install_pp.ML library.ML logic.ML meta_simplifier.ML net.ML \ pattern.ML proof_general.ML proofterm.ML pure_thy.ML search.ML \ sign.ML simplifier.ML sorts.ML tactic.ML tctical.ML term.ML \ - defs.ML theory.ML theory_data.ML thm.ML type.ML type_infer.ML unify.ML + defs.ML theory.ML thm.ML type.ML type_infer.ML unify.ML @./mk