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