changeset 15570 | 8d8c70b41bab |
parent 15531 | 08c8dad8e399 |
child 15580 | 900291ee0af8 |
--- a/src/HOL/IsaMakefile Thu Mar 03 09:22:35 2005 +0100 +++ b/src/HOL/IsaMakefile Thu Mar 03 12:43:01 2005 +0100 @@ -77,6 +77,7 @@ $(SRC)/Provers/make_elim.ML $(SRC)/Provers/order.ML $(SRC)/Provers/quasi.ML\ $(SRC)/Provers/simplifier.ML $(SRC)/Provers/splitter.ML \ $(SRC)/Provers/trancl.ML \ + $(SRC)/TFL/casesplit.ML \ $(SRC)/TFL/dcterm.ML $(SRC)/TFL/post.ML $(SRC)/TFL/rules.ML \ $(SRC)/TFL/tfl.ML $(SRC)/TFL/thms.ML $(SRC)/TFL/thry.ML \ $(SRC)/TFL/usyntax.ML $(SRC)/TFL/utils.ML \