Summary
- More tidying of Nominal proofs
- Tidied up another messy theory
The file was modified | src/HOL/Nominal/Examples/Fsub.thy (diff) |
The file was modified | src/HOL/Nominal/Examples/Pattern.thy (diff) |
The file was modified | src/HOL/Nominal/Nominal.thy (diff) |
The file was modified | src/HOL/Nominal/Examples/Standardization.thy (diff) |