Changes

Summary

updated document antiquotation @{theory} according to Isabelle/59793df7f853;

Changeset 9437:24dd1b12567e by wenzelm: updated document antiquotation @{theory} according to Isabelle/59793df7f853;
The file was modified	`thys/Buildings/Algebra.thy` (diff)
The file was modified	`thys/Card_Equiv_Relations/Card_Equiv_Relations.thy` (diff)
The file was modified	`thys/Card_Partitions/Injectivity_Solver.thy` (diff)
The file was modified	`thys/Card_Partitions/Set_Partition.thy` (diff)
The file was modified	`thys/Category3/EquivalenceOfCategories.thy` (diff)
The file was modified	`thys/Category3/Limit.thy` (diff)
The file was modified	`thys/Category3/SetCategory.thy` (diff)
The file was modified	`thys/Certification_Monads/Strict_Sum.thy` (diff)
The file was modified	`thys/Circus/Denotational_Semantics.thy` (diff)
The file was modified	`thys/Coinductive/Coinductive_Stream.thy` (diff)
The file was modified	`thys/Coinductive/Examples/Resumption.thy` (diff)
The file was modified	`thys/Collections/Userguides/ICF_Userguide.thy` (diff)
The file was modified	`thys/Containers/Compatibility_Containers_Regular_Sets.thy` (diff)
The file was modified	`thys/Containers/Containers_Userguide.thy` (diff)
The file was modified	`thys/Containers/Set_Impl.thy` (diff)
The file was modified	`thys/DFS_Framework/Examples/DFS_Find_Path.thy` (diff)
The file was modified	`thys/Derangements/Derangements.thy` (diff)
The file was modified	`thys/Dict_Construction/Test_Dict_Construction.thy` (diff)
The file was modified	`thys/Echelon_Form/Cayley_Hamilton_Compatible.thy` (diff)
The file was modified	`thys/Efficient-Mergesort/Efficient_Sort.thy` (diff)
The file was modified	`thys/Free-Groups/FreeGroups.thy` (diff)
The file was modified	`thys/Groebner_Bases/Confluence.thy` (diff)
The file was modified	`thys/HOLCF-Prelude/examples/Sieve_Primes.thy` (diff)
The file was modified	`thys/Incredible_Proof_Machine/Abstract_Rules_To_Incredible.thy` (diff)
The file was modified	`thys/Incredible_Proof_Machine/Incredible_Completeness.thy` (diff)
The file was modified	`thys/Incredible_Proof_Machine/Natural_Deduction.thy` (diff)
The file was modified	`thys/Isabelle_Meta_Model/toy_example/embedding/core/Core_init.thy` (diff)
The file was modified	`thys/Isabelle_Meta_Model/toy_example/embedding/meta_toy/Parser_META.thy` (diff)
The file was modified	`thys/Isabelle_Meta_Model/toy_example/generator/Design_deep.thy` (diff)
The file was modified	`thys/Isabelle_Meta_Model/toy_example/generator/Design_shallow.thy` (diff)
The file was modified	`thys/JinjaThreads/Execute/Scheduler.thy` (diff)
The file was modified	`thys/JinjaThreads/MM/Orders.thy` (diff)
The file was modified	`thys/Key_Agreement_Strong_Adversaries/sklvl1.thy` (diff)
The file was modified	`thys/Kleene_Algebra/Kleene_Algebra.thy` (diff)
The file was modified	`thys/Knuth_Morris_Pratt/KMP.thy` (diff)
The file was modified	`thys/Markov_Models/Trace_Space_Equals_Markov_Processes.thy` (diff)
The file was modified	`thys/MonoidalCategory/FreeMonoidalCategory.thy` (diff)
The file was modified	`thys/Native_Word/Bits_Integer.thy` (diff)
The file was modified	`thys/Native_Word/Native_Word_Test_Emu.thy` (diff)
The file was modified	`thys/Native_Word/Uint_Userguide.thy` (diff)
The file was modified	`thys/Optimal_BST/Optimal_BST2.thy` (diff)
The file was modified	`thys/Real_Impl/Real_Unique_Impl.thy` (diff)
The file was modified	`thys/Refine_Imperative_HOL/Userguides/Sepref_Guide_Quickstart.thy` (diff)
The file was modified	`thys/Refine_Imperative_HOL/Userguides/Sepref_Guide_Reference.thy` (diff)
The file was modified	`thys/Regular-Sets/pEquivalence_Checking.thy` (diff)
The file was modified	`thys/Rep_Fin_Groups/Rep_Fin_Groups.thy` (diff)
The file was modified	`thys/Residuated_Lattices/Action_Algebra_Models.thy` (diff)
The file was modified	`thys/Ribbon_Proofs/Ribbons_Graphical_Soundness.thy` (diff)
The file was modified	`thys/Shivers-CFA/AbsCF.thy` (diff)
The file was modified	`thys/Shivers-CFA/AbsCFComp.thy` (diff)
The file was modified	`thys/Shivers-CFA/Computability.thy` (diff)
The file was modified	`thys/Shivers-CFA/ExCFSV.thy` (diff)
The file was modified	`thys/Shivers-CFA/MapSets.thy` (diff)
The file was modified	`thys/Sqrt_Babylonian/Sqrt_Babylonian.thy` (diff)
The file was modified	`thys/TLA/State.thy` (diff)
The file was modified	`thys/Taylor_Models/Polynomial_Expression_Additional.thy` (diff)
The file was modified	`thys/Tree-Automata/AbsAlgo.thy` (diff)
The file was modified	`thys/VerifyThis2018/Challenge3.thy` (diff)
The file was modified	`thys/Well_Quasi_Orders/Multiset_Extension.thy` (diff)