merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rAFPdf8dbc70db27: Removal of an unused theorem. Plus lots of white space
rAFP9cf49cbf016c: switch new entries' documents to T1 encoding - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 39b6774669ae cosmetic changesAuthor
- f313b8e67312 add Andreas Lochbihler as editorAuthor
- 12032d61ee15 New entry: MereologyAuthor
- 5308f917cbab New entry SunflowersAuthor
- 1335f4299090 avoid name clashAuthor
- 48319c117066 consolidated namesAuthor
- fd1d5b3fdd7c close branchAuthor
- daa87ea0470c close branchAuthor
- f7321f5a8909 close branchAuthor
- a040f98f10ef close branchAuthor
- ff876ac75e44 close branchAuthor
- 3b5ff4b8d37d Closing branch "devel"Author
- a0d561998f20 closed branchAuthor