| changeset 3612 | 403db95b54ff |
| parent 3505 | 1cb4ea47d967 |
| child 3817 | f20f193d42b4 |
--- a/src/FOL/IsaMakefile Wed Aug 06 00:44:25 1997 +0200 +++ b/src/FOL/IsaMakefile Wed Aug 06 00:45:09 1997 +0200 @@ -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 \ - thy_data.ML cladata.ML $(PROVERS:%=../Provers/%) + cladata.ML $(PROVERS:%=../Provers/%) EX_NAMES = If List Nat Nat2 Prolog declIffOracle IffOracle EX_FILES = ex/ROOT.ML ex/cla.ML ex/foundn.ML ex/int.ML ex/intro.ML \