Changes

Summary

Changeset 8163:803b2f3594ee by haftmann: do not rely on implicit fallback to nbe for value command
The file was modified	`thys/Collections/Examples/Autoref/Coll_Test.thy` (diff)
The file was modified	`thys/Collections/Examples/Autoref/ICF_Test.thy` (diff)
The file was modified	`thys/Featherweight_OCL/UML_Types.thy` (diff)
The file was modified	`thys/Iptables_Semantics/Primitive_Matchers/Common_Primitive_Matcher_Generic.thy` (diff)
The file was modified	`thys/List-Infinite/ListInf/List2.thy` (diff)
The file was modified	`thys/Propositional_Proof_Systems/MiniFormulas.thy` (diff)
The file was modified	`thys/Propositional_Proof_Systems/SC_Depth.thy` (diff)
The file was modified	`thys/Propositional_Proof_Systems/SC_Gentzen.thy` (diff)
The file was modified	`thys/Simple_Firewall/Simple_Packet.thy` (diff)
The file was modified	`thys/Vickrey_Clarke_Groves/CombinatorialAuctionExamples.thy` (diff)
Changeset 8162:7ea157337f59 by haftmann: avoid non-conservative code preprocessor setup altogether
The file was modified	`thys/Algebraic_Numbers/Algebraic_Number_Tests.thy` (diff)
The file was modified	`thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy` (diff)
The file was modified	`thys/QR_Decomposition/Examples_QR_Abstract_Symbolic.thy` (diff)
The file was modified	`thys/Real_Impl/Real_Impl.thy` (diff)
The file was modified	`thys/Real_Impl/Real_Unique_Impl.thy` (diff)