Summary
- tuned references
- fixed another horrible proof
The file was modified | src/Doc/manual.bib (diff) |
The file was modified | src/HOL/Analysis/Tagged_Division.thy (diff) |
The file was modified | src/Doc/manual.bib (diff) |
The file was modified | src/HOL/Analysis/Tagged_Division.thy (diff) |