Changes

Summary

Changeset 9260:bce60b7d65bb by haftmann: avoid overaggressive classical rule
The file was modified	`thys/AutoFocus-Stream/AF_Stream.thy` (diff)
The file was modified	`thys/AutoFocus-Stream/IL_AF_Stream.thy` (diff)
The file was modified	`thys/AutoFocus-Stream/ListSlice.thy` (diff)
The file was modified	`thys/Consensus_Refined/MRU/CT_Proofs.thy` (diff)
The file was modified	`thys/Consensus_Refined/MRU/New_Algorithm_Proofs.thy` (diff)
The file was modified	`thys/Consensus_Refined/MRU/Paxos_Proofs.thy` (diff)
The file was modified	`thys/Consensus_Refined/MRU/Three_Step_MRU.thy` (diff)
The file was modified	`thys/Formula_Derivatives/Presburger_Formula.thy` (diff)
The file was modified	`thys/List-Infinite/CommonArith/Util_Div.thy` (diff)
The file was modified	`thys/Nat-Interval-Logic/IL_Interval.thy` (diff)
The file was modified	`thys/Nat-Interval-Logic/IL_IntervalOperators.thy` (diff)
The file was modified	`thys/RSAPSS/EMSAPSS.thy` (diff)
The file was modified	`thys/RSAPSS/Pdifference.thy` (diff)
The file was modified	`thys/Real_Impl/Prime_Product.thy` (diff)
The file was modified	`thys/Taylor_Models/Taylor_Models.thy` (diff)