changeset 61268 | abe08fb15a12 |
parent 60993 | 531a48ae1425 |
child 61441 | 20ff1d5c74e1 |
61267:0b6217fda81b | 61268:abe08fb15a12 |
---|---|
245 "consts.ML" |
245 "consts.ML" |
246 "context.ML" |
246 "context.ML" |
247 "context_position.ML" |
247 "context_position.ML" |
248 "conv.ML" |
248 "conv.ML" |
249 "defs.ML" |
249 "defs.ML" |
250 "display.ML" |
|
251 "drule.ML" |
250 "drule.ML" |
252 "envir.ML" |
251 "envir.ML" |
253 "facts.ML" |
252 "facts.ML" |
254 "global_theory.ML" |
253 "global_theory.ML" |
255 "goal.ML" |
254 "goal.ML" |