/src/HOL/W0/
drwxr-xr-x [up]
-rw-r--r-- 1998-01-08 18:10 +0100 6848 I.ML
-rw-r--r-- 1998-01-08 18:10 +0100 749 I.thy
-rw-r--r-- 1998-01-08 18:10 +0100 760 Maybe.ML
-rw-r--r-- 1998-01-08 18:10 +0100 449 Maybe.thy
-rw-r--r-- 1998-01-08 18:10 +0100 707 MiniML.ML
-rw-r--r-- 1998-01-08 18:10 +0100 776 MiniML.thy
-rw-r--r-- 1998-01-08 18:10 +0100 812 README.html
-rw-r--r-- 1998-01-08 18:10 +0100 302 ROOT.ML
-rw-r--r-- 1998-01-08 18:10 +0100 10401 Type.ML
-rw-r--r-- 1998-01-08 18:10 +0100 2276 Type.thy
-rw-r--r-- 1998-01-08 18:10 +0100 14452 W.ML
-rw-r--r-- 1998-01-08 18:10 +0100 769 W.thy