Changes

Summary

proper datatype for 8-bit characters
corrected nonsense

Changeset 68028:1f9f973eed2a by haftmann: proper datatype for 8-bit characters
The file was added	`src/HOL/Tools/literal.ML`
The file was modified	`CONTRIBUTORS` (diff)
The file was modified	`NEWS` (diff)
The file was modified	`src/Doc/Codegen/Adaptation.thy` (diff)
The file was modified	`src/Doc/Codegen/Computations.thy` (diff)
The file was modified	`src/HOL/Code_Evaluation.thy` (diff)
The file was modified	`src/HOL/Code_Numeral.thy` (diff)
The file was modified	`src/HOL/Imperative_HOL/Heap_Monad.thy` (diff)
The file was modified	`src/HOL/Imperative_HOL/ex/SatChecker.thy` (diff)
The file was modified	`src/HOL/Library/Cardinality.thy` (diff)
The file was modified	`src/HOL/Library/Char_ord.thy` (diff)
The file was modified	`src/HOL/Library/Code_Target_Int.thy` (diff)
The file was modified	`src/HOL/Library/Code_Target_Nat.thy` (diff)
The file was modified	`src/HOL/Library/Code_Test.thy` (diff)
The file was modified	`src/HOL/Library/Countable.thy` (diff)
The file was modified	`src/HOL/Library/Predicate_Compile_Alternative_Defs.thy` (diff)
The file was modified	`src/HOL/List.thy` (diff)
The file was modified	`src/HOL/Parity.thy` (diff)
The file was modified	`src/HOL/Quickcheck_Exhaustive.thy` (diff)
The file was modified	`src/HOL/ROOT` (diff)
The file was modified	`src/HOL/Statespace/state_fun.ML` (diff)
The file was modified	`src/HOL/String.thy` (diff)
The file was modified	`src/HOL/Tools/hologic.ML` (diff)
The file was modified	`src/HOL/Tools/numeral.ML` (diff)
The file was modified	`src/HOL/Tools/string_syntax.ML` (diff)
The file was modified	`src/HOL/ex/Cartouche_Examples.thy` (diff)
The file was modified	`src/Pure/General/integer.ML` (diff)
The file was modified	`src/Tools/Code/code_haskell.ML` (diff)
The file was modified	`src/Tools/Code/code_ml.ML` (diff)
The file was modified	`src/Tools/Code/code_printer.ML` (diff)
The file was modified	`src/Tools/Code/code_scala.ML` (diff)
The file was removed	`src/HOL/Codegenerator_Test/Generate_Pretty_Char.thy`
The file was removed	`src/HOL/Library/Code_Char.thy`
The file was removed	`src/HOL/Tools/string_code.ML`
Changeset 68027:64559e1ca05b by haftmann: corrected nonsense
The file was modified	`CONTRIBUTORS` (diff)
The file was modified	`NEWS` (diff)