--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys3/ROOT	Thu Apr 28 15:56:22 2022 +0100
@@ -0,0 +1,16 @@
+session Posix = "HOL-Library" + 
+theories[document = false]
+     "HOL-Library.Sublist"
+     "RegLangs"
+     "PosixSpec"
+     "Positions"
+     "PDerivs"
+     "Lexer"
+     "LexerSimp"
+     "Blexer"
+     "BlexerSimp"
+     "BasicIdentities"
+     "ClosedForms"
+     "GeneralRegexBound"
+     "ClosedFormsBounds"
+     "FBound"
\ No newline at end of file