equal
deleted
inserted
replaced
1 |
1 |
2 time_use_thy "Mutil"; |
2 time_use_thy "Mutil"; |
3 time_use_thy "Term"; |
3 time_use_thy "Term"; |
4 time_use_thy "ABexp"; |
4 time_use_thy "ABexp"; |
5 time_use_thy "Tree"; |
5 time_use_thy "Tree"; |
|
6 time_use_thy "Ordinals"; |
6 time_use_thy "Sigma_Algebra"; |
7 time_use_thy "Sigma_Algebra"; |
7 time_use_thy "Comb"; |
8 time_use_thy "Comb"; |
8 time_use_thy "PropLog"; |
9 time_use_thy "PropLog"; |
9 time_use_thy "SList"; |
10 time_use_thy "SList"; |
10 time_use_thy "LFilter"; |
11 time_use_thy "LFilter"; |