src/Pure/IsaMakefile
changeset 5092 e443bc494604
parent 5040 78abd4c4802a
child 5244 5313f781efe0
--- 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