merged
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rAFP6a4f3c47c3d8: New entry Regular_Tree_Relations
rAFPe7ccade6ae5d: We DON'T want an output directory - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- c55c666012a3 used wfP_imp_asymp from HOLAuthor
- cae2c55e7bbb simplified proof some moreAuthor
- 1d3873e125b1 simplified proofAuthor
- 28e95145c4ac merge from afp-2021-1Author
- 9df0012013a7 merge from afp-2021-1Author
- 723ed8c9c308 set devel version againAuthor
- 6b9424379e7b merge from afp-2021-1Author
- fbeba03cac70 merge from afp-2021-1Author
- c82e622e1e90 merge from afp-2021-1Author
- e8154678b2e1 merge from afp-2021-1Author
- 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;