1 session Posix = "HOL-Library" + 

     2 theories[document = false]

     3      "HOL-Library.Sublist"

     4      "RegLangs"

     5      "PosixSpec"

     6      "Positions"

     7      "PDerivs"

     8      "Lexer"

     9      "LexerSimp"

    10      "Blexer"

    11      "BlexerSimp"

    12      "BasicIdentities"

    13      "ClosedForms"

    14      "GeneralRegexBound"

    15      "ClosedFormsBounds"

    16      "FBound"