| changeset 29249 | 4dc278c8dc59 |
| parent 28873 | 2058a6b0eb20 |
| child 29357 | 11956fa598b7 |
| 29248:f1f1bccf2fc5 | 29249:4dc278c8dc59 |
|---|---|
27 "NatClass", |
27 "NatClass", |
28 "IffOracle" |
28 "IffOracle" |
29 ]; |
29 ]; |
30 |
30 |
31 (*regression test for locales -- sets several global flags!*) |
31 (*regression test for locales -- sets several global flags!*) |
32 no_document use_thy "LocaleTest"; |
|
33 no_document use_thy "NewLocaleTest"; |
32 no_document use_thy "NewLocaleTest"; |
34 |
33 |