Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. PCF: add SmallStep also tune up existing proofs
Changeset 8757:4523f28fc586 by peter gammie _peteg42@gmail.com_:
PCF: add SmallStep<br><br>also tune up existing proofs
The file was addedthys/PCF/SmallStep.thy
The file was modified thys/PCF/Basis.thy (diff)
The file was modified thys/PCF/Continuations.thy (diff)
The file was modified thys/PCF/OpSem.thy (diff)
The file was modified thys/PCF/PCF.thy (diff)
The file was modified thys/PCF/ROOT (diff)