changeset 15172 | 73069e033a0b |
parent 14527 | bc9e5587d05a |
child 17598 | 7540ccd2b445 |
15171:e0cd537c4325 | 15172:73069e033a0b |
---|---|
1 |
1 |
2 time_use_thy "Mutil"; |
2 time_use_thy "Mutil"; |
3 time_use_thy "QuoDataType"; |
3 time_use_thy "QuoDataType"; |
4 time_use_thy "QuoNestedDataType"; |
|
4 time_use_thy "Term"; |
5 time_use_thy "Term"; |
5 time_use_thy "ABexp"; |
6 time_use_thy "ABexp"; |
6 time_use_thy "Tree"; |
7 time_use_thy "Tree"; |
7 time_use_thy "Ordinals"; |
8 time_use_thy "Ordinals"; |
8 time_use_thy "Sigma_Algebra"; |
9 time_use_thy "Sigma_Algebra"; |