merge from AFP 2019
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rAFP77a8004b99f4: sitegen for Arith_Prog_Rel_Primes
rAFPcf50bd1f5626: added transition acceptance automata - 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.
- ddbab58b4c7d simplified proofsAuthor
- d7cc55445292 tuned topicsAuthor
- db2fc75a68cc more topicsAuthor
- 8d4d754b2196 adapt to isabelle fb788bd799d9Author
- 7f9a5c0cfaa1 merge from afp-2019Author