| changeset 29357 | 11956fa598b7 |
| parent 29249 | 4dc278c8dc59 |
| child 29752 | ad4e3a577fd3 |
| 29346:fe6843aa4f5f | 29357:11956fa598b7 |
|---|---|
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 "NewLocaleTest"; |
32 no_document use_thy "LocaleTest"; |
33 |
33 |