Summary
- More proof tidying for Nominal
The file was modified | src/HOL/Nominal/Examples/Pattern.thy (diff) |
The file was modified | src/HOL/Nominal/Examples/W.thy (diff) |
The file was modified | src/HOL/Nominal/Examples/Pattern.thy (diff) |
The file was modified | src/HOL/Nominal/Examples/W.thy (diff) |