| changeset 335 | 5623ca25803f |
| parent 101 | d4730dd72226 |
| child 409 | 54fcef4db0db |
--- a/src/CTT/Makefile Fri Apr 22 20:23:02 1994 +0200 +++ b/src/CTT/Makefile Fri Apr 22 20:34:15 1994 +0200 @@ -18,8 +18,8 @@ BIN = $(ISABELLEBIN) COMP = $(ISABELLECOMP) -FILES = ROOT.ML ctt.thy ctt.ML bool.thy bool.ML \ - arith.thy arith.ML rew.ML ../Provers/typedsimp.ML +FILES = ROOT.ML CTT.thy CTT.ML Bool.thy Bool.ML \ + Arith.thy Arith.ML rew.ML ../Provers/typedsimp.ML EX_FILES = ex/ROOT.ML ex/elim.ML ex/equal.ML ex/synth.ML ex/typechk.ML