--- a/src/Pure/IsaMakefile Mon Jun 29 21:33:25 1998 +0200
+++ b/src/Pure/IsaMakefile Mon Jun 29 21:33:35 1998 +0200
@@ -36,7 +36,7 @@
Thy/thy_info.ML Thy/thy_parse.ML Thy/thy_read.ML Thy/thy_scan.ML \
Thy/thy_syn.ML Thy/use.ML attribute.ML axclass.ML basis.ML deriv.ML \
display.ML drule.ML envir.ML goals.ML install_pp.ML library.ML \
- logic.ML net.ML pattern.ML pure_thy.ML search.ML sign.ML sorts.ML \
+ logic.ML net.ML pattern.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