src/Pure/IsaMakefile
changeset 5004 cf4e3b487caf
parent 4991 d7d525466221
child 5017 786a17461ab9
     1.1 --- a/src/Pure/IsaMakefile	Mon Jun 08 15:57:30 1998 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Mon Jun 08 15:57:50 1998 +0200
     1.3 @@ -36,7 +36,7 @@
     1.4    drule.ML envir.ML goals.ML install_pp.ML library.ML logic.ML \
     1.5    name_space.ML net.ML object.ML pattern.ML pure_thy.ML search.ML \
     1.6    seq.ML sign.ML sorts.ML table.ML tactic.ML tctical.ML term.ML \
     1.7 -  theory.ML thm.ML type.ML type_infer.ML unify.ML
     1.8 +  theory.ML theory_data.ML thm.ML type.ML type_infer.ML unify.ML
     1.9  	@./mk
    1.10  
    1.11