merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEe44e044dadb3: provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
rISABELLE14dd8b46307f: streamlined division on polynomials - Branches
- Unknown
- Tags
Merged Changes
Merged Changes