equal
deleted
inserted
replaced
65 esac |
65 esac |
66 |
66 |
67 $(BIN)/HOL: |
67 $(BIN)/HOL: |
68 cd ../HOL; $(MAKE) |
68 cd ../HOL; $(MAKE) |
69 |
69 |
70 EX_THYS = ex/Classlib.thy ex/Witness.thy\ |
70 EX_THYS = ex/Classlib.thy\ |
71 ex/Dnat.thy ex/Dlist.thy ex/Stream.thy\ |
71 ex/Dnat.thy ex/Dlist.thy ex/Stream.thy\ |
72 ex/Dagstuhl.thy ex/Focus_ex.thy ex/Fix2.thy\ |
72 ex/Dagstuhl.thy ex/Focus_ex.thy ex/Fix2.thy\ |
73 ex/Hoare.thy ex/Loop.thy |
73 ex/Hoare.thy ex/Loop.thy |
74 |
74 |
75 EX_FILES = ex/ROOT.ML ex/loeckx.ML $(EX_THYS) $(EX_THYS:.thy=.ML) |
75 EX_FILES = ex/ROOT.ML ex/loeckx.ML $(EX_THYS) $(EX_THYS:.thy=.ML) |