Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper mixin definitions restore code generation, which got accidentally lost since explicit [code del] takes now precendence over later default declarations
  2. modernized
Changeset 8090:6920de551231 by haftmann:
proper mixin definitions restore code generation, which got accidentally lost since explicit [code del] takes now precendence over later default declarations
The file was modified thys/Flyspeck-Tame/ArchCompProps.thy (diff)
Changeset 8089:621638dba76e by haftmann:
modernized
The file was modified thys/Flyspeck-Tame/ListAux.thy (diff)