/src/CCL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1993-09-16 12:20 +0200 1291 Flag.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1411 Flag.thy
-rw-r--r-- 1993-09-16 12:20 +0200 3377 List.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1513 List.thy
-rw-r--r-- 1993-09-16 12:20 +0200 2392 Nat.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1141 Nat.thy
-rw-r--r-- 1993-09-16 12:20 +0200 485 ROOT.ML
-rw-r--r-- 1993-09-16 12:20 +0200 3948 Stream.ML
-rw-r--r-- 1993-09-16 12:20 +0200 420 Stream.thy
-rw-r--r-- 1993-09-16 12:20 +0200 1291 flag.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1411 flag.thy
-rw-r--r-- 1993-09-16 12:20 +0200 3377 list.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1513 list.thy
-rw-r--r-- 1993-09-16 12:20 +0200 2392 nat.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1141 nat.thy
-rw-r--r-- 1993-09-16 12:20 +0200 3948 stream.ML
-rw-r--r-- 1993-09-16 12:20 +0200 420 stream.thy