| changeset 43794 | 49cbbe2768a8 |
| parent 43776 | 6dd13e111d30 |
| child 43847 | 529159f81d06 |
| 43793:9c9a9b13c5da | 43794:49cbbe2768a8 |
|---|---|
246 subgoal.ML \ |
246 subgoal.ML \ |
247 tactic.ML \ |
247 tactic.ML \ |
248 tactical.ML \ |
248 tactical.ML \ |
249 term.ML \ |
249 term.ML \ |
250 term_ord.ML \ |
250 term_ord.ML \ |
251 term_sharing.ML \ |
|
251 term_subst.ML \ |
252 term_subst.ML \ |
252 term_xml.ML \ |
253 term_xml.ML \ |
253 theory.ML \ |
254 theory.ML \ |
254 thm.ML \ |
255 thm.ML \ |
255 type.ML \ |
256 type.ML \ |