/src/HOL/W0/
drwxr-xr-x [up]
-rw-r--r-- 1997-01-23 14:19 +0100 7067 I.ML
-rw-r--r-- 1997-01-23 14:19 +0100 753 I.thy
-rw-r--r-- 1997-01-23 14:19 +0100 768 Maybe.ML
-rw-r--r-- 1997-01-23 14:19 +0100 446 Maybe.thy
-rw-r--r-- 1997-01-23 14:19 +0100 704 MiniML.ML
-rw-r--r-- 1997-01-23 14:19 +0100 780 MiniML.thy
-rw-r--r-- 1997-01-23 14:19 +0100 812 README.html
-rw-r--r-- 1997-01-23 14:19 +0100 306 ROOT.ML
-rw-r--r-- 1997-01-23 14:19 +0100 10446 Type.ML
-rw-r--r-- 1997-01-23 14:19 +0100 2275 Type.thy
-rw-r--r-- 1997-01-23 14:19 +0100 14844 W.ML
-rw-r--r-- 1997-01-23 14:19 +0100 785 W.thy