Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. refined code equations for characters
Changeset 75662:ed15f2cd4f7d by haftmann:
refined code equations for characters
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Library/Char_ord.thy (diff)
The file was modified src/HOL/Library/Code_Abstract_Char.thy (diff)
The file was modified src/HOL/String.thy (diff)