equal
deleted
inserted
replaced
127 $(SRC)/Tools/cong_tac.ML \ |
127 $(SRC)/Tools/cong_tac.ML \ |
128 $(SRC)/Tools/eqsubst.ML \ |
128 $(SRC)/Tools/eqsubst.ML \ |
129 $(SRC)/Tools/induct.ML \ |
129 $(SRC)/Tools/induct.ML \ |
130 $(SRC)/Tools/induct_tacs.ML \ |
130 $(SRC)/Tools/induct_tacs.ML \ |
131 $(SRC)/Tools/intuitionistic.ML \ |
131 $(SRC)/Tools/intuitionistic.ML \ |
|
132 $(SRC)/Tools/misc_legacy.ML \ |
132 $(SRC)/Tools/nbe.ML \ |
133 $(SRC)/Tools/nbe.ML \ |
133 $(SRC)/Tools/project_rule.ML \ |
134 $(SRC)/Tools/project_rule.ML \ |
134 $(SRC)/Tools/quickcheck.ML \ |
135 $(SRC)/Tools/quickcheck.ML \ |
135 $(SRC)/Tools/random_word.ML \ |
136 $(SRC)/Tools/random_word.ML \ |
136 $(SRC)/Tools/value.ML \ |
137 $(SRC)/Tools/value.ML \ |