History log of /seL4-l4v-master/isabelle/src/HOL/Tools/literal.ML
Revision Date Author Comments
# a4bab154 04-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# 0b85d283 08-Sep-2018 haftmann <none@none>

more appropriate conversion of HOL character literals to character codes: symbolic newline is interpreted as 0x10
# 3a4a7136 24-Apr-2018 haftmann <none@none>

proper datatype for 8-bit characters