| changeset 23145 | 5d8faadf3ecf |
| parent 23144 | 4a9c9e260abf |
| child 23158 | 749b6870b1a1 |
| 23144:4a9c9e260abf | 23145:5d8faadf3ecf |
|---|---|
14 use_thy "Lambda_mu"; |
14 use_thy "Lambda_mu"; |
15 use_thy "SN"; |
15 use_thy "SN"; |
16 use_thy "Weakening"; |
16 use_thy "Weakening"; |
17 use_thy "Crary"; |
17 use_thy "Crary"; |
18 use_thy "SOS"; |
18 use_thy "SOS"; |
19 use_thy "LocalWeakening.thy"; |
19 use_thy "LocalWeakening"; |