changeset 16417 | 9bc16273c2d4 |
parent 15481 | fc075ae929e4 |
child 24893 | b8ef7afe3a6b |
--- a/src/ZF/ArithSimp.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/src/ZF/ArithSimp.thy Fri Jun 17 16:12:49 2005 +0200 @@ -9,7 +9,7 @@ theory ArithSimp imports Arith -files "~~/src/Provers/Arith/cancel_numerals.ML" +uses "~~/src/Provers/Arith/cancel_numerals.ML" "~~/src/Provers/Arith/combine_numerals.ML" "arith_data.ML"