/src/CCL/ex/ Isabelle2020
drwxr-xr-x [up]
-rw-r--r-- 2020-04-13 22:08 +0200 2559 Flag.thy
-rw-r--r-- 2020-04-13 22:08 +0200 4239 List.thy
-rw-r--r-- 2020-04-13 22:08 +0200 3109 Nat.thy
-rw-r--r-- 2020-04-13 22:08 +0200 4066 Stream.thy