--- a/src/HOL/ROOT Sun Jul 12 18:10:06 2020 +0000
+++ b/src/HOL/ROOT Mon Jul 13 17:08:45 2020 +0200
@@ -20,14 +20,20 @@
sessions
"HOL-Library"
theories
+ Adhoc_Overloading_Examples
Ackermann
- Knaster_Tarski
- Peirce
+ Cantor
+ Coherent
+ Commands
Drinker
- Cantor
+ Groebner_Examples
+ Iff_Oracle
+ Induction_Schema
+ Knaster_Tarski
+ "ML"
+ Peirce
+ Records
Seq
- "ML"
- Iff_Oracle
document_files
"root.bib"
"root.tex"
@@ -605,7 +611,6 @@
Miscellaneous examples for Higher-Order Logic.
"
theories
- Adhoc_Overloading_Examples
Antiquote
Argo_Examples
Arith_Examples
@@ -623,8 +628,6 @@
Code_Lazy_Demo
Code_Timing
Coercion_Examples
- Coherent
- Commands
Computations
Conditional_Parametricity_Examples
Cubic_Quartic
@@ -637,13 +640,11 @@
Functions
Function_Growth
Gauge_Integration
- Groebner_Examples
Guess
HarmonicSeries
Hebrew
Hex_Bin_Examples
IArray_Examples
- Induction_Schema
Intuitionistic
Join_Theory
Lagrange
@@ -663,7 +664,6 @@
Pythagoras
Quicksort
Radix_Sort
- Records
Reflection_Examples
Refute_Examples
Residue_Ring