diff -r cf7a5c863831 -r 6c13f76c070b thys3/ROOT
--- a/thys3/ROOT	Wed Feb 15 11:52:22 2023 +0000
+++ b/thys3/ROOT	Thu Feb 16 23:23:22 2023 +0000
@@ -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"
+*)
+