src/Pure/IsaMakefile
changeset 5092 e443bc494604
parent 5040 78abd4c4802a
child 5244 5313f781efe0
     1.1 --- a/src/Pure/IsaMakefile	Mon Jun 29 21:33:25 1998 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Mon Jun 29 21:33:35 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_thy.ML search.ML sign.ML sorts.ML \
     1.8 +  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