Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. dropped superfluous use of Code_Char
  2. perfer official conversion in coercion
Changeset 8605:0cb7320cf82c by haftmann:
dropped superfluous use of Code_Char
The file was modified thys/Formula_Derivatives/Presburger_Formula.thy (diff)
Changeset 8604:0d75fede99f6 by haftmann:
perfer official conversion in coercion
The file was modified thys/Formula_Derivatives/Presburger_Formula.thy (diff)