/src/FOL/ex/Locale_Test/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2025-07-23 14:53 +0200 766 Locale_Test.thy
-rw-r--r-- 2025-07-23 14:53 +0200 26063 Locale_Test1.thy
-rw-r--r-- 2025-07-23 14:53 +0200 658 Locale_Test2.thy
-rw-r--r-- 2025-07-23 14:53 +0200 650 Locale_Test3.thy