/Attic/
drwxr-xr-x [up]
drwxr-xr-x old
-rw-r--r-- 2011-07-26 10:58 +0000 18673 Myhill.thy
-rw-r--r-- 2011-07-26 10:58 +0000 79139 MyhillNerode.thy
-rw-r--r-- 2011-07-26 10:58 +0000 44220 Myhill_1.thy
-rw-r--r-- 2011-07-26 10:58 +0000 243 Prelude.thy