Summary
- more tidying and de-applying
The file was modified | src/HOL/Nonstandard_Analysis/NSA.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/Star.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/NSA.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/Star.thy (diff) |