| changeset 338 | e3489bc1f857 |
| parent 102 | e04cb6295a3f |
| child 468 | 3dd1dcb509ac |
--- a/src/LK/Makefile Fri Apr 22 20:52:01 1994 +0200 +++ b/src/LK/Makefile Fri Apr 22 21:47:22 1994 +0200 @@ -18,7 +18,7 @@ BIN = $(ISABELLEBIN) COMP = $(ISABELLECOMP) -FILES = ROOT.ML lk.thy lk.ML +FILES = ROOT.ML LK.thy LK.ML EX_FILES = ex/ROOT.ML ex/hardquant.ML ex/prop.ML ex/quant.ML $(BIN)/LK: $(BIN)/Pure $(FILES)