equal
deleted
inserted
replaced
143 PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES)\ |
143 PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES)\ |
144 Algebras.thy \ |
144 Algebras.thy \ |
145 Complete_Lattice.thy \ |
145 Complete_Lattice.thy \ |
146 Datatype.thy \ |
146 Datatype.thy \ |
147 Extraction.thy \ |
147 Extraction.thy \ |
|
148 Fields.thy \ |
148 Finite_Set.thy \ |
149 Finite_Set.thy \ |
149 Fun.thy \ |
150 Fun.thy \ |
150 FunDef.thy \ |
151 FunDef.thy \ |
|
152 Groups.thy \ |
151 Inductive.thy \ |
153 Inductive.thy \ |
152 Lattices.thy \ |
154 Lattices.thy \ |
153 Nat.thy \ |
155 Nat.thy \ |
154 Nitpick.thy \ |
156 Nitpick.thy \ |
155 Option.thy \ |
157 Option.thy \ |
156 OrderedGroup.thy \ |
|
157 Orderings.thy \ |
158 Orderings.thy \ |
158 Plain.thy \ |
159 Plain.thy \ |
159 Power.thy \ |
160 Power.thy \ |
160 Predicate.thy \ |
161 Predicate.thy \ |
161 Product_Type.thy \ |
162 Product_Type.thy \ |
162 Record.thy \ |
163 Record.thy \ |
163 Refute.thy \ |
164 Refute.thy \ |
164 Relation.thy \ |
165 Relation.thy \ |
165 Ring_and_Field.thy \ |
166 Rings.thy \ |
166 SAT.thy \ |
167 SAT.thy \ |
167 Set.thy \ |
168 Set.thy \ |
168 Sum_Type.thy \ |
169 Sum_Type.thy \ |
169 Tools/arith_data.ML \ |
170 Tools/arith_data.ML \ |
170 Tools/cnf_funcs.ML \ |
171 Tools/cnf_funcs.ML \ |