Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged;
  2. more qualified typedef (cf. Isabelle/702085ca8564);
  3. tuned signature;
Changeset 6407:d0ce50b6de93 by wenzelm:
merged;
Changeset 6406:c7ad92e0f17e by wenzelm:
more qualified typedef (cf. Isabelle/702085ca8564);
The file was modified thys/Native_Word/Uint.thy (diff)
The file was modified thys/Native_Word/Uint16.thy (diff)
The file was modified thys/Native_Word/Uint32.thy (diff)
The file was modified thys/Native_Word/Uint8.thy (diff)
Changeset 6405:2b1f50eb5351 by wenzelm:
tuned signature;
The file was modified thys/Automatic_Refinement/Lib/Attr_Comb.thy (diff)
The file was modified thys/Automatic_Refinement/Lib/Refine_Util.thy (diff)
The file was modified thys/Automatic_Refinement/Parametricity/Relators.thy (diff)
The file was modified thys/Automatic_Refinement/Tool/Autoref_Fix_Rel.thy (diff)
The file was modified thys/Separation_Logic_Imperative_HOL/Automation.thy (diff)