Summary
- merged
- more removal of applys
The file was modified | src/HOL/Filter.thy (diff) |
The file was modified | src/HOL/Groups.thy (diff) |
The file was modified | src/HOL/Rat.thy (diff) |
The file was modified | src/HOL/Filter.thy (diff) |
The file was modified | src/HOL/Groups.thy (diff) |
The file was modified | src/HOL/Rat.thy (diff) |