merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE7eda22253605: Added tag Isabelle2020-RC3 for changeset 7fe1a344404a
rISABELLE263298eb68b2: more NEWS; - 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.
- 263298eb68b2 more NEWS;Author
- 721f143a679b clarified signature;Author
- 12c3fe42b2a8 output prover messages;Author
- 7b0656fa783b clarified signature;Author
- 86f064893dac clarified signature: more robust;Author
- 07e6053ce89c proper parent base;Author
- 494704309099 proper context for loading Pure;Author
- 9d8fb1dbc368 simplified code and proofsAuthor
- b36f07d28867 automated proofAuthor
- 07bec530f02e cleaned proofsAuthor
- c1bc38327bc2 clarified signature;Author
- 2e8f861d21d4 redunant simp ruleAuthor
- f0499449e149 clarified modules;Author
- ab5009192ebb tuned signature -- follow Scala;Author
- 01166f13c2c0 tuned whitespace;Author