Changes

Summary

model characters directly as range 0..255

Changeset 6423:2ec1379cf06b by haftmann: model characters directly as range 0..255
The file was modified	`thys/Certification_Monads/Parser_Monad.thy` (diff)
The file was modified	`thys/Collections/Lib/HashCode.thy` (diff)
The file was modified	`thys/ConcurrentGC/Tactics.thy` (diff)
The file was modified	`thys/Containers/Collection_Enum.thy` (diff)
The file was modified	`thys/Containers/Collection_Eq.thy` (diff)
The file was modified	`thys/Containers/Collection_Order.thy` (diff)
The file was modified	`thys/Containers/Mapping_Impl.thy` (diff)
The file was modified	`thys/Containers/Set_Impl.thy` (diff)
The file was modified	`thys/Containers/Set_Linorder.thy` (diff)
The file was modified	`thys/Deriving/Comparator_Generator/Compare_Instances.thy` (diff)
The file was modified	`thys/Deriving/Equality_Generator/Equality_Instances.thy` (diff)
The file was modified	`thys/Deriving/Hash_Generator/Hash_Instances.thy` (diff)
The file was modified	`thys/HereditarilyFinite/Finitary.thy` (diff)
The file was modified	`thys/Isabelle_Meta_Model/Init.thy` (diff)
The file was modified	`thys/Isabelle_Meta_Model/isabelle_home/src/HOL/ex/Isabelle_Cartouche_Examples.thy` (diff)
The file was modified	`thys/Isabelle_Meta_Model/meta_isabelle/Meta_Isabelle.thy` (diff)
The file was modified	`thys/Isabelle_Meta_Model/toy_example/embedding/meta_toy/Parser_META.thy` (diff)
The file was modified	`thys/JinjaThreads/Execute/ToString.thy` (diff)
The file was modified	`thys/Native_Word/Native_Word_Test.thy` (diff)
The file was modified	`thys/Pop_Refinement/Second_Example.thy` (diff)
The file was modified	`thys/Program-Conflict-Analysis/LTS.thy` (diff)
The file was modified	`thys/Promela/Promela.thy` (diff)
The file was modified	`thys/Show/Old_Datatype/Old_Show.thy` (diff)
The file was modified	`thys/Show/Show.thy` (diff)
The file was modified	`thys/Simpl/hoare.ML` (diff)
The file was modified	`thys/Simpl/hoare_syntax.ML` (diff)
The file was modified	`thys/XML/Xml.thy` (diff)