Summary
- Tidying up more messy proofs
- Starting to tidy HOL-Nominal-Examples
The file was modified | src/HOL/Nominal/Examples/Class1.thy (diff) |
The file was modified | src/HOL/Nominal/Examples/Class1.thy (diff) |
The file was modified | src/HOL/Nominal/Examples/Class1.thy (diff) |
The file was modified | src/HOL/Nominal/Examples/Class1.thy (diff) |