changeset 43271 | 8b968645d216 |
parent 42669 | 04dfffda5671 |
child 43564 | 9864182c6bad |
43270:bc72c1ccc89e | 43271:8b968645d216 |
---|---|
1 theory Setup |
1 theory Setup |
2 imports |
2 imports |
3 Complex_Main |
3 Complex_Main |
4 More_List RBT Dlist Mapping |
4 More_List RBT Dlist List_Cset Mapping |
5 uses |
5 uses |
6 "../../antiquote_setup.ML" |
6 "../../antiquote_setup.ML" |
7 "../../more_antiquote.ML" |
7 "../../more_antiquote.ML" |
8 begin |
8 begin |
9 |
9 |