/src/CCL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1998-12-07 18:26 +0100 1318 Flag.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1402 Flag.thy
-rw-r--r-- 1998-12-07 18:26 +0100 3219 List.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1520 List.thy
-rw-r--r-- 1998-12-07 18:26 +0100 2141 Nat.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1145 Nat.thy
-rw-r--r-- 1998-12-07 18:26 +0100 430 ROOT.ML
-rw-r--r-- 1998-12-07 18:26 +0100 3923 Stream.ML
-rw-r--r-- 1998-12-07 18:26 +0100 427 Stream.thy
-rw-r--r-- 1998-12-07 18:26 +0100 1291 flag.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1411 flag.thy
-rw-r--r-- 1998-12-07 18:26 +0100 3272 list.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1513 list.thy
-rw-r--r-- 1998-12-07 18:26 +0100 2167 nat.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1141 nat.thy
-rw-r--r-- 1998-12-07 18:26 +0100 3967 stream.ML
-rw-r--r-- 1998-12-07 18:26 +0100 420 stream.thy