Summary
- 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) |