/src/CCL/ex/
drwxr-xr-x [up]
-rw-r--r-- 2000-06-02 20:38 +0200 1318 Flag.ML
-rw-r--r-- 2000-06-02 20:38 +0200 1402 Flag.thy
-rw-r--r-- 2000-06-02 20:38 +0200 3219 List.ML
-rw-r--r-- 2000-06-02 20:38 +0200 1520 List.thy
-rw-r--r-- 2000-06-02 20:38 +0200 2141 Nat.ML
-rw-r--r-- 2000-06-02 20:38 +0200 1145 Nat.thy
-rw-r--r-- 2000-06-02 20:38 +0200 314 ROOT.ML
-rw-r--r-- 2000-06-02 20:38 +0200 3923 Stream.ML
-rw-r--r-- 2000-06-02 20:38 +0200 427 Stream.thy
-rw-r--r-- 2000-06-02 20:38 +0200 1291 flag.ML
-rw-r--r-- 2000-06-02 20:38 +0200 1411 flag.thy
-rw-r--r-- 2000-06-02 20:38 +0200 3272 list.ML
-rw-r--r-- 2000-06-02 20:38 +0200 1513 list.thy
-rw-r--r-- 2000-06-02 20:38 +0200 2167 nat.ML
-rw-r--r-- 2000-06-02 20:38 +0200 1141 nat.thy
-rw-r--r-- 2000-06-02 20:38 +0200 3967 stream.ML
-rw-r--r-- 2000-06-02 20:38 +0200 420 stream.thy