/src/LCF/ex/
drwxr-xr-x [up]
-rw-r--r-- 2000-06-02 20:38 +0200 638 Ex1.ML
-rw-r--r-- 2000-06-02 20:38 +0200 231 Ex1.thy
-rw-r--r-- 2000-06-02 20:38 +0200 264 Ex2.ML
-rw-r--r-- 2000-06-02 20:38 +0200 270 Ex2.thy
-rw-r--r-- 2000-06-02 20:38 +0200 155 Ex3.ML
-rw-r--r-- 2000-06-02 20:38 +0200 177 Ex3.thy
-rw-r--r-- 2000-06-02 20:38 +0200 334 Ex4.ML
-rw-r--r-- 2000-06-02 20:38 +0200 35 Ex4.thy
-rw-r--r-- 2000-06-02 20:38 +0200 279 ROOT.ML