/src/HOL/W0/
drwxr-xr-x [up]
-rw-r--r-- 2000-11-24 16:49 +0100 6757 I.ML
-rw-r--r-- 2000-11-24 16:49 +0100 742 I.thy
-rw-r--r-- 2000-11-24 16:49 +0100 954 Maybe.ML
-rw-r--r-- 2000-11-24 16:49 +0100 449 Maybe.thy
-rw-r--r-- 2000-11-24 16:49 +0100 687 MiniML.ML
-rw-r--r-- 2000-11-24 16:49 +0100 776 MiniML.thy
-rw-r--r-- 2000-11-24 16:49 +0100 812 README.html
-rw-r--r-- 2000-11-24 16:49 +0100 212 ROOT.ML
-rw-r--r-- 2000-11-24 16:49 +0100 9824 Type.ML
-rw-r--r-- 2000-11-24 16:49 +0100 2232 Type.thy
-rw-r--r-- 2000-11-24 16:49 +0100 13786 W.ML
-rw-r--r-- 2000-11-24 16:49 +0100 762 W.thy