--- a/src/CCL/ROOT Sun Sep 08 13:07:03 2019 +0200
+++ b/src/CCL/ROOT Sun Sep 08 16:49:05 2019 +0200
@@ -10,6 +10,7 @@
A computational logic for an untyped functional language with
evaluation to weak head-normal form.
"
+ directories "ex"
sessions
FOL
theories