src/Pure/IsaMakefile
changeset 5244 5313f781efe0
parent 5092 e443bc494604
child 5834 c6fea8488ce7
     1.1 --- a/src/Pure/IsaMakefile	Tue Aug 04 17:06:27 1998 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Tue Aug 04 18:21:03 1998 +0200
     1.3 @@ -36,7 +36,7 @@
     1.4    Thy/thy_info.ML Thy/thy_parse.ML Thy/thy_read.ML Thy/thy_scan.ML \
     1.5    Thy/thy_syn.ML Thy/use.ML attribute.ML axclass.ML basis.ML deriv.ML \
     1.6    display.ML drule.ML envir.ML goals.ML install_pp.ML library.ML \
     1.7 -  logic.ML net.ML pattern.ML pure.ML pure_thy.ML search.ML sign.ML sorts.ML \
     1.8 +  locale.ML logic.ML net.ML pattern.ML pure.ML pure_thy.ML search.ML sign.ML sorts.ML \
     1.9    tactic.ML tctical.ML term.ML theory.ML theory_data.ML thm.ML type.ML \
    1.10    type_infer.ML unify.ML
    1.11  	@./mk