--- a/src/Sequents/ROOT Sun Sep 08 13:07:03 2019 +0200
+++ b/src/Sequents/ROOT Sun Sep 08 16:49:05 2019 +0200
@@ -37,6 +37,7 @@
S. Kalvala and V. de Paiva, Linear Logic in Isabelle (in TR 379, University
of Cambridge Computer Lab, 1995, ed L. Paulson)
"
+ directories "LK"
theories
LK
ILL