Changes

Summary

more standard imports;
tuned signature;
generate theory HTML in Isabelle/Scala; discontinued HTML support in Isabelle/ML;
merged
Add support for CVC4 1.8 to Sledgehammer
proper meta_digest: avoid non-portable position information;

Changeset 72671:588c751a5eef by wenzelm: more standard imports;
The file was modified	`src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy` (diff)
The file was modified	`src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy` (diff)
The file was modified	`src/HOL/Imperative_HOL/ex/Subarray.thy` (diff)
The file was modified	`src/HOL/Number_Theory/Totient.thy` (diff)
The file was modified	`src/HOL/Probability/Random_Permutations.thy` (diff)
Changeset 72670:4db9411c859c by wenzelm: tuned signature;
The file was modified	`src/Pure/Thy/presentation.scala` (diff)
The file was modified	`src/Pure/Thy/sessions.scala` (diff)
Changeset 72669:5e7916535860 by wenzelm: generate theory HTML in Isabelle/Scala;<br>discontinued HTML support in Isabelle/ML;
The file was modified	`src/Pure/Isar/keyword.scala` (diff)
The file was modified	`src/Pure/Isar/token.scala` (diff)
The file was modified	`src/Pure/PIDE/document.scala` (diff)
The file was modified	`src/Pure/PIDE/resources.ML` (diff)
The file was modified	`src/Pure/PIDE/resources.scala` (diff)
The file was modified	`src/Pure/ROOT.ML` (diff)
The file was modified	`src/Pure/Thy/presentation.scala` (diff)
The file was modified	`src/Pure/Thy/sessions.scala` (diff)
The file was modified	`src/Pure/Thy/thy_info.ML` (diff)
The file was removed	`src/Pure/Thy/html.ML`
Changeset 72668:b1388cfb64bb by desharna: merged
Changeset 72667:b83988b436dc by desharna: Add support for CVC4 1.8 to Sledgehammer
The file was modified	`src/HOL/Tools/SMT/smt_systems.ML` (diff)
Changeset 72666:945cee776e79 by wenzelm: proper meta_digest: avoid non-portable position information;
The file was modified	`src/Pure/Thy/sessions.scala` (diff)