/src/HOL/W0/
drwxr-xr-x [up]
-rw-r--r-- 1999-03-11 13:20 +0100 6793 I.ML
-rw-r--r-- 1999-03-11 13:20 +0100 742 I.thy
-rw-r--r-- 1999-03-11 13:20 +0100 735 Maybe.ML
-rw-r--r-- 1999-03-11 13:20 +0100 449 Maybe.thy
-rw-r--r-- 1999-03-11 13:20 +0100 687 MiniML.ML
-rw-r--r-- 1999-03-11 13:20 +0100 776 MiniML.thy
-rw-r--r-- 1999-03-11 13:20 +0100 812 README.html
-rw-r--r-- 1999-03-11 13:20 +0100 244 ROOT.ML
-rw-r--r-- 1999-03-11 13:20 +0100 9824 Type.ML
-rw-r--r-- 1999-03-11 13:20 +0100 2232 Type.thy
-rw-r--r-- 1999-03-11 13:20 +0100 13793 W.ML
-rw-r--r-- 1999-03-11 13:20 +0100 762 W.thy