/src/HOL/W0/
drwxr-xr-x [up]
-rw-r--r-- 1997-04-08 10:48 +0200 7018 I.ML
-rw-r--r-- 1997-04-08 10:48 +0200 753 I.thy
-rw-r--r-- 1997-04-08 10:48 +0200 768 Maybe.ML
-rw-r--r-- 1997-04-08 10:48 +0200 446 Maybe.thy
-rw-r--r-- 1997-04-08 10:48 +0200 704 MiniML.ML
-rw-r--r-- 1997-04-08 10:48 +0200 780 MiniML.thy
-rw-r--r-- 1997-04-08 10:48 +0200 812 README.html
-rw-r--r-- 1997-04-08 10:48 +0200 306 ROOT.ML
-rw-r--r-- 1997-04-08 10:48 +0200 10452 Type.ML
-rw-r--r-- 1997-04-08 10:48 +0200 2275 Type.thy
-rw-r--r-- 1997-04-08 10:48 +0200 14737 W.ML
-rw-r--r-- 1997-04-08 10:48 +0200 785 W.thy