equal
deleted
inserted
replaced
61 $(OUT)/HOL: $(OUT)/Pure $(SRC)/Provers/Arith/abel_cancel.ML \ |
61 $(OUT)/HOL: $(OUT)/Pure $(SRC)/Provers/Arith/abel_cancel.ML \ |
62 $(SRC)/Provers/Arith/assoc_fold.ML \ |
62 $(SRC)/Provers/Arith/assoc_fold.ML \ |
63 $(SRC)/Provers/Arith/cancel_numerals.ML \ |
63 $(SRC)/Provers/Arith/cancel_numerals.ML \ |
64 $(SRC)/Provers/Arith/cancel_sums.ML \ |
64 $(SRC)/Provers/Arith/cancel_sums.ML \ |
65 $(SRC)/Provers/Arith/combine_numerals.ML \ |
65 $(SRC)/Provers/Arith/combine_numerals.ML \ |
|
66 $(SRC)/Provers/Arith/cancel_numeral_factor.ML \ |
66 $(SRC)/Provers/Arith/fast_lin_arith.ML $(SRC)/Provers/blast.ML \ |
67 $(SRC)/Provers/Arith/fast_lin_arith.ML $(SRC)/Provers/blast.ML \ |
67 $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ |
68 $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ |
68 $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/make_elim.ML \ |
69 $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/make_elim.ML \ |
69 $(SRC)/Provers/rulify.ML $(SRC)/Provers/simplifier.ML \ |
70 $(SRC)/Provers/rulify.ML $(SRC)/Provers/simplifier.ML \ |
70 $(SRC)/Provers/split_paired_all.ML $(SRC)/Provers/splitter.ML \ |
71 $(SRC)/Provers/split_paired_all.ML $(SRC)/Provers/splitter.ML \ |
77 Integ/Equiv.ML Integ/Equiv.thy Integ/Int.ML Integ/Int.thy \ |
78 Integ/Equiv.ML Integ/Equiv.thy Integ/Int.ML Integ/Int.thy \ |
78 Integ/IntArith.ML Integ/IntArith.thy Integ/IntDef.ML Integ/IntDef.thy \ |
79 Integ/IntArith.ML Integ/IntArith.thy Integ/IntDef.ML Integ/IntDef.thy \ |
79 Integ/IntDiv.ML Integ/IntDiv.thy Integ/IntPower.ML Integ/IntPower.thy \ |
80 Integ/IntDiv.ML Integ/IntDiv.thy Integ/IntPower.ML Integ/IntPower.thy \ |
80 Integ/NatBin.ML Integ/NatBin.thy Integ/NatSimprocs.ML \ |
81 Integ/NatBin.ML Integ/NatBin.thy Integ/NatSimprocs.ML \ |
81 Integ/NatSimprocs.thy Integ/int_arith1.ML Integ/int_arith2.ML \ |
82 Integ/NatSimprocs.thy Integ/int_arith1.ML Integ/int_arith2.ML \ |
82 Integ/nat_simprocs.ML Inverse_Image.ML Inverse_Image.thy Lfp.ML \ |
83 Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML \ |
|
84 Inverse_Image.ML Inverse_Image.thy Lfp.ML \ |
83 Lfp.thy List.ML List.thy Main.ML Main.thy Map.ML Map.thy Nat.ML \ |
85 Lfp.thy List.ML List.thy Main.ML Main.thy Map.ML Map.thy Nat.ML \ |
84 Nat.thy NatArith.ML NatArith.thy NatDef.ML NatDef.thy Numeral.thy \ |
86 Nat.thy NatArith.ML NatArith.thy NatDef.ML NatDef.thy Numeral.thy \ |
85 Option.ML Option.thy Ord.ML Ord.thy Power.ML Power.thy PreList.thy \ |
87 Option.ML Option.thy Ord.ML Ord.thy Power.ML Power.thy PreList.thy \ |
86 Product_Type.ML Product_Type.thy ROOT.ML Recdef.thy Record.thy \ |
88 Product_Type.ML Product_Type.thy ROOT.ML Recdef.thy Record.thy \ |
87 Relation.ML Relation.thy Relation_Power.ML Relation_Power.thy \ |
89 Relation.ML Relation.thy Relation_Power.ML Relation_Power.thy \ |