Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tune PCF proofs
Changeset 8756:392e4d4d1871 by peter gammie _peteg42@gmail.com_:
tune PCF proofs
The file was modified thys/PCF/Basis.thy (diff)
The file was modified thys/PCF/Continuations.thy (diff)
The file was modified thys/PCF/Dual_Lattice.thy (diff)
The file was modified thys/PCF/Logical_Relations.thy (diff)
The file was modified thys/PCF/OpSem.thy (diff)
The file was modified thys/PCF/PCF.thy (diff)