equal
deleted
inserted
replaced
106 $(SRC)/Tools/quickcheck.ML \ |
106 $(SRC)/Tools/quickcheck.ML \ |
107 $(SRC)/Tools/project_rule.ML \ |
107 $(SRC)/Tools/project_rule.ML \ |
108 $(SRC)/Tools/random_word.ML \ |
108 $(SRC)/Tools/random_word.ML \ |
109 $(SRC)/Tools/value.ML \ |
109 $(SRC)/Tools/value.ML \ |
110 $(SRC)/Tools/Code_Generator.thy \ |
110 $(SRC)/Tools/Code_Generator.thy \ |
|
111 $(SRC)/Tools/more_conv.ML \ |
111 HOL.thy \ |
112 HOL.thy \ |
112 Tools/hologic.ML \ |
113 Tools/hologic.ML \ |
113 Tools/recfun_codegen.ML \ |
114 Tools/recfun_codegen.ML \ |
114 Tools/simpdata.ML \ |
115 Tools/simpdata.ML \ |
115 |
116 |