merged
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rAFPd6d816594bee: moved some count_list lemmas
rAFP4ddb773baa59: synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/… - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 097f3b420da8 continue 98838b260ed4Author
- 5b9b4cf1e4e5 continue ee01bce2eccaAuthor
- bd32b1fd6406 merged
- 1266c86cf47b added loader;
- b30cbcc1846c tuned;
- f09cb003fe3c tuned;
- f69e70cf8a17 tuned;
- 12628bcb34d2 tuned;