--- a/src/Doc/ROOT Wed Dec 23 22:25:22 2020 +0100
+++ b/src/Doc/ROOT Wed Dec 23 23:03:03 2020 +0100
@@ -405,6 +405,8 @@
options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false]
directories "Advanced" "CTL" "CodeGen" "Datatype" "Documents" "Fun" "Ifexpr"
"Inductive" "Misc" "Protocol" "Rules" "Sets" "ToyList" "Trie" "Types"
+ theories [document = false]
+ Base
theories [threads = 1]
"ToyList/ToyList_Test"
theories [thy_output_indent = 5]
@@ -443,8 +445,6 @@
theories
"Protocol/NS_Public"
"Documents/Documents"
- theories [document = false]
- "Types/Setup"
theories [thy_output_margin = 64, thy_output_indent = 0]
"Types/Numbers"
"Types/Pairs"