Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more direct bootstrap of char type, still retaining the nibble representation for syntax
Changeset 6350:7fd8bd7e583f by haftmann:
more direct bootstrap of char type, still retaining the nibble representation for syntax
The file was modified thys/ConcurrentGC/Tactics.thy (diff)
The file was modified thys/Containers/Set_Linorder.thy (diff)
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/meta_toy/Parser_META.thy (diff)
The file was modified thys/XML/Xml.thy (diff)