changeset 12455 | 7633c0fad9bd |
parent 12417 | e5bdbcec51a3 |
child 12723 | 0451211bf4a0 |
--- a/src/Pure/IsaMakefile Mon Dec 10 18:50:01 2001 +0100 +++ b/src/Pure/IsaMakefile Mon Dec 10 18:52:15 2001 +0100 @@ -54,7 +54,6 @@ pattern.ML proofterm.ML pure.ML pure_thy.ML search.ML sign.ML \ sorts.ML tactic.ML tctical.ML term.ML theory.ML theory_data.ML \ thm.ML type.ML type_infer.ML unify.ML - @./mk