/src/CCL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1995-06-21 15:01 +0200 1291 Flag.ML
-rw-r--r-- 1995-06-21 15:01 +0200 1389 Flag.thy
-rw-r--r-- 1995-06-21 15:01 +0200 3182 List.ML
-rw-r--r-- 1995-06-21 15:01 +0200 1503 List.thy
-rw-r--r-- 1995-06-21 15:01 +0200 2113 Nat.ML
-rw-r--r-- 1995-06-21 15:01 +0200 1131 Nat.thy
-rw-r--r-- 1995-06-21 15:01 +0200 511 ROOT.ML
-rw-r--r-- 1995-06-21 15:01 +0200 3867 Stream.ML
-rw-r--r-- 1995-06-21 15:01 +0200 420 Stream.thy
-rw-r--r-- 1995-06-21 15:01 +0200 1291 flag.ML
-rw-r--r-- 1995-06-21 15:01 +0200 1411 flag.thy
-rw-r--r-- 1995-06-21 15:01 +0200 3272 list.ML
-rw-r--r-- 1995-06-21 15:01 +0200 1513 list.thy
-rw-r--r-- 1995-06-21 15:01 +0200 2167 nat.ML
-rw-r--r-- 1995-06-21 15:01 +0200 1141 nat.thy
-rw-r--r-- 1995-06-21 15:01 +0200 3967 stream.ML
-rw-r--r-- 1995-06-21 15:01 +0200 420 stream.thy