diff -r 56781ad291cf -r e00950ba4514 thys2/Journal/root.out
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys2/Journal/root.out	Mon Nov 01 10:40:21 2021 +0000
@@ -0,0 +1,9 @@
+\BOOKMARK [1][-]{section.1.1}{Bit-Encodings}{}% 1
+\BOOKMARK [1][-]{section.1.2}{Annotated Regular Expressions}{}% 2
+\BOOKMARK [1][-]{section.1.3}{Introduction}{}% 3
+\BOOKMARK [1][-]{section.1.4}{Preliminaries}{}% 4
+\BOOKMARK [1][-]{section.1.5}{POSIX Regular Expression Matching}{}% 5
+\BOOKMARK [1][-]{section.1.6}{Ordering of Values according to Okui and Suzuki}{}% 6
+\BOOKMARK [1][-]{section.1.7}{Bitcoded Lexing}{}% 7
+\BOOKMARK [1][-]{section.1.8}{Optimisations}{}% 8
+\BOOKMARK [1][-]{section.1.9}{HERE}{}% 9