merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE83940294cc67: fixed generation of Isar proofs e89709b80b6e
rISABELLE4b8da5eef9d0: regenerated - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
merged
Description merged
Details
Merged Changes
Changes (101) Very Large CommitThis commit is very large. Load each file individually.
rISABELLE84c88a274ffd |