--- a/src/CCL/ROOT Sun Sep 08 17:15:46 2019 +0200
+++ b/src/CCL/ROOT Sun Sep 08 17:49:35 2019 +0200
@@ -10,9 +10,9 @@
A computational logic for an untyped functional language with
evaluation to weak head-normal form.
"
- directories "ex"
sessions
FOL
+ directories "ex"
theories
Wfd
Fix