| changeset 4349 | 50403e5a44c0 |
| parent 3817 | f20f193d42b4 |
| child 4447 | b7ee449eb345 |
--- a/src/FOL/IsaMakefile Wed Dec 03 10:47:13 1997 +0100 +++ b/src/FOL/IsaMakefile Wed Dec 03 10:48:16 1997 +0100 @@ -10,7 +10,7 @@ simplifier.ML splitter.ML ind.ML FILES = ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \ - cladata.ML $(PROVERS:%=../Provers/%) + fologic.ML cladata.ML $(PROVERS:%=../Provers/%) EX_NAMES = If List Nat Nat2 Prolog IffOracle EX_FILES = ex/ROOT.ML ex/cla.ML ex/foundn.ML ex/int.ML ex/intro.ML \