diff -r 0c666a0c57d7 -r aef235b965bb thys2/Journal/root.out
--- a/thys2/Journal/root.out	Fri Jan 07 22:25:26 2022 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-\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