merge from afp-2021
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP471638a4827d: new entry Foundation_of_geometry
rAFPda9b93a5ad9a: Modified all design locale parameters to be nats instead of ints. Fixed proofs… - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- c82e622e1e90 merge from afp-2021-1Author
- 356167c73739 adjust for Isabelle2021-1-RC5Author
- 144417084760 merge from afp-2021Author
- e8154678b2e1 merge from afp-2021-1Author
- f57bbcb7a2a5 adjust to Isabelle2021-1-RC5Author
- dbff829158a8 merge from afp-2021Author
- 5284bc2e2dfb discontinued Parse.text;Author
- 1ffda7071d4a isabelle update_cartouches;Author
- 0bc1235e5fb6 tuned signature;Author
- 8dfc109e1ef5 merge from afp-2021-1Author
- 1266c86cf47b added loader;
- b30cbcc1846c tuned;