merge of AFP 2021
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFP7e6431c07123: Cubic_Quartic_Equations sitegen
rAFP194bd67c97ea: clarified modules, according to Isabelle/534b231ce041; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP983817c24bc0: merge of AFP 2021.Sep 24 2021, 12:11 PM2021-09-24 12:11:44 (UTC+2)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- dfc972b8491c Backed out changeset ef19e4e58b8cAuthor
- 301f0280d6c6 avoid hardwired document;Author
- af371b9b111d tuned whitespace;Author
- 9a6a94253c8d more scalable operations;Author
- 34eccbb60a01 proper inst table;Author
- 0320f17157ee more realistic timeout;Author
- d5bc84fd503c clarified signature;Author
- f1bf23e16821 follow Isabelle/53e28c438f96;Author
- dd34e0937e25 tuned nameAuthor
- 5f1b030dfbb8 cleaning upAuthor
- 398749a3e273 New entry CoSMeDisAuthor
- e6b510d24af4 New entry CoSMedAuthor
- 91b1c09c8f85 New entry: CoConAuthor
- 1e5afc21efae updated to develAuthor
- 7ca6a77befba merge from AFP 2021Author
- e18a11ed5f49 cleaning upAuthor
- 64560b22b6c9 cleaning upAuthor