| changeset 44121 | 44adaa6db327 |
| parent 44120 | 01de796250a0 |
| child 44247 | 270366301bd7 |
| 44120:01de796250a0 | 44121:44adaa6db327 |
|---|---|
230 logic.ML \ |
230 logic.ML \ |
231 more_thm.ML \ |
231 more_thm.ML \ |
232 morphism.ML \ |
232 morphism.ML \ |
233 name.ML \ |
233 name.ML \ |
234 net.ML \ |
234 net.ML \ |
235 old_term.ML \ |
|
236 pattern.ML \ |
235 pattern.ML \ |
237 primitive_defs.ML \ |
236 primitive_defs.ML \ |
238 proofterm.ML \ |
237 proofterm.ML \ |
239 pure_setup.ML \ |
238 pure_setup.ML \ |
240 pure_thy.ML \ |
239 pure_thy.ML \ |