diff -r 56057198e4f5 -r 70c10dc41606 thys3/ROOT
--- a/thys3/ROOT	Fri May 26 08:09:30 2023 +0100
+++ b/thys3/ROOT	Fri May 26 08:10:17 2023 +0100
@@ -3,8 +3,6 @@
      "HOL-Library.Sublist"
      "RegLangs"
      "PosixSpec"
-     (*"Positions"*)
-     (*"PDerivs"*)
      "Lexer"
      "LexerSimp"
      "Blexer"
@@ -27,8 +25,21 @@
     Paper
 document_files
   "root.tex"
+  "lipics-v2021.cls"
+  "cc-by.pdf"
+  "lipics-logo-bw.pdf"
+  "root.bib"
+
+
+(*
+theories
+    Paper
+document_files
+  "root.tex"
   "llncs.cls"
   "lipics-v2021.cls"
   "cc-by.pdf"
   "lipics-logo-bw.pdf"
-  "root.bib"
\ No newline at end of file
+  "root.bib"
+*)
+