/src/CCL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1996-02-16 17:24 +0100 1318 Flag.ML
-rw-r--r-- 1996-02-16 17:24 +0100 1396 Flag.thy
-rw-r--r-- 1996-02-16 17:24 +0100 3217 List.ML
-rw-r--r-- 1996-02-16 17:24 +0100 1510 List.thy
-rw-r--r-- 1996-02-16 17:24 +0100 2141 Nat.ML
-rw-r--r-- 1996-02-16 17:24 +0100 1138 Nat.thy
-rw-r--r-- 1996-02-16 17:24 +0100 487 ROOT.ML
-rw-r--r-- 1996-02-16 17:24 +0100 3958 Stream.ML
-rw-r--r-- 1996-02-16 17:24 +0100 427 Stream.thy
-rw-r--r-- 1996-02-16 17:24 +0100 1291 flag.ML
-rw-r--r-- 1996-02-16 17:24 +0100 1411 flag.thy
-rw-r--r-- 1996-02-16 17:24 +0100 3272 list.ML
-rw-r--r-- 1996-02-16 17:24 +0100 1513 list.thy
-rw-r--r-- 1996-02-16 17:24 +0100 2167 nat.ML
-rw-r--r-- 1996-02-16 17:24 +0100 1141 nat.thy
-rw-r--r-- 1996-02-16 17:24 +0100 3967 stream.ML
-rw-r--r-- 1996-02-16 17:24 +0100 420 stream.thy