equal
deleted
inserted
replaced
132 $(SRC)/Tools/intuitionistic.ML \ |
132 $(SRC)/Tools/intuitionistic.ML \ |
133 $(SRC)/Tools/misc_legacy.ML \ |
133 $(SRC)/Tools/misc_legacy.ML \ |
134 $(SRC)/Tools/nbe.ML \ |
134 $(SRC)/Tools/nbe.ML \ |
135 $(SRC)/Tools/project_rule.ML \ |
135 $(SRC)/Tools/project_rule.ML \ |
136 $(SRC)/Tools/quickcheck.ML \ |
136 $(SRC)/Tools/quickcheck.ML \ |
137 $(SRC)/Tools/random_word.ML \ |
|
138 $(SRC)/Tools/value.ML \ |
137 $(SRC)/Tools/value.ML \ |
139 HOL.thy \ |
138 HOL.thy \ |
140 Tools/hologic.ML \ |
139 Tools/hologic.ML \ |
141 Tools/recfun_codegen.ML \ |
140 Tools/recfun_codegen.ML \ |
142 Tools/simpdata.ML |
141 Tools/simpdata.ML |