equal
deleted
inserted
replaced
151 $(SRC)/Provers/Arith/cancel_sums.ML \ |
151 $(SRC)/Provers/Arith/cancel_sums.ML \ |
152 $(SRC)/Provers/Arith/fast_lin_arith.ML \ |
152 $(SRC)/Provers/Arith/fast_lin_arith.ML \ |
153 $(SRC)/Provers/blast.ML \ |
153 $(SRC)/Provers/blast.ML \ |
154 $(SRC)/Provers/clasimp.ML \ |
154 $(SRC)/Provers/clasimp.ML \ |
155 $(SRC)/Provers/classical.ML \ |
155 $(SRC)/Provers/classical.ML \ |
|
156 $(SRC)/Provers/coherent.ML \ |
156 $(SRC)/Provers/eqsubst.ML \ |
157 $(SRC)/Provers/eqsubst.ML \ |
157 $(SRC)/Provers/hypsubst.ML \ |
158 $(SRC)/Provers/hypsubst.ML \ |
158 $(SRC)/Provers/order.ML \ |
159 $(SRC)/Provers/order.ML \ |
159 $(SRC)/Provers/project_rule.ML \ |
160 $(SRC)/Provers/project_rule.ML \ |
160 $(SRC)/Provers/quantifier1.ML \ |
161 $(SRC)/Provers/quantifier1.ML \ |
761 |
762 |
762 $(LOG)/HOL-ex.gz: $(OUT)/HOL Library/Commutative_Ring.thy \ |
763 $(LOG)/HOL-ex.gz: $(OUT)/HOL Library/Commutative_Ring.thy \ |
763 Library/Primes.thy \ |
764 Library/Primes.thy \ |
764 ex/Abstract_NAT.thy ex/Antiquote.thy ex/Arith_Examples.thy ex/BT.thy \ |
765 ex/Abstract_NAT.thy ex/Antiquote.thy ex/Arith_Examples.thy ex/BT.thy \ |
765 ex/BinEx.thy ex/CTL.thy ex/Chinese.thy ex/Classical.thy \ |
766 ex/BinEx.thy ex/CTL.thy ex/Chinese.thy ex/Classical.thy \ |
766 ex/Dense_Linear_Order_Ex.thy ex/Eval_Examples.thy \ |
767 ex/Coherent.thy ex/Dense_Linear_Order_Ex.thy ex/Eval_Examples.thy \ |
767 ex/Groebner_Examples.thy ex/Random.thy ex/Quickcheck.thy \ |
768 ex/Groebner_Examples.thy ex/Random.thy ex/Quickcheck.thy \ |
768 ex/Codegenerator.thy ex/Codegenerator_Pretty.thy \ |
769 ex/Codegenerator.thy ex/Codegenerator_Pretty.thy \ |
769 ex/Commutative_RingEx.thy ex/Efficient_Nat_examples.thy \ |
770 ex/Commutative_RingEx.thy ex/Efficient_Nat_examples.thy \ |
770 ex/Hex_Bin_Examples.thy ex/Commutative_Ring_Complete.thy \ |
771 ex/Hex_Bin_Examples.thy ex/Commutative_Ring_Complete.thy \ |
771 ex/ExecutableContent.thy ex/Fundefs.thy ex/Guess.thy ex/Hebrew.thy \ |
772 ex/ExecutableContent.thy ex/Fundefs.thy ex/Guess.thy ex/Hebrew.thy \ |