equal
deleted
inserted
replaced
1 session Posix in src = "HOL-Library" + |
1 session Posix in src = "HOL-Library" + |
2 theories[document = false] |
2 theories[document = false] |
3 "HOL-Library.Sublist" |
3 "HOL-Library.Sublist" |
4 "RegLangs" |
4 "RegLangs" |
5 "PosixSpec" |
5 "PosixSpec" |
6 (*"Positions"*) |
|
7 (*"PDerivs"*) |
|
8 "Lexer" |
6 "Lexer" |
9 "LexerSimp" |
7 "LexerSimp" |
10 "Blexer" |
8 "Blexer" |
11 "BlexerSimp" |
9 "BlexerSimp" |
12 "BasicIdentities" |
10 "BasicIdentities" |
25 document_heading_prefix = ""] |
23 document_heading_prefix = ""] |
26 theories |
24 theories |
27 Paper |
25 Paper |
28 document_files |
26 document_files |
29 "root.tex" |
27 "root.tex" |
|
28 "lipics-v2021.cls" |
|
29 "cc-by.pdf" |
|
30 "lipics-logo-bw.pdf" |
|
31 "root.bib" |
|
32 |
|
33 |
|
34 (* |
|
35 theories |
|
36 Paper |
|
37 document_files |
|
38 "root.tex" |
30 "llncs.cls" |
39 "llncs.cls" |
31 "lipics-v2021.cls" |
40 "lipics-v2021.cls" |
32 "cc-by.pdf" |
41 "cc-by.pdf" |
33 "lipics-logo-bw.pdf" |
42 "lipics-logo-bw.pdf" |
34 "root.bib" |
43 "root.bib" |
|
44 *) |
|
45 |