prefer comparison of session timing, if this is known already;
some odd workarounds to prevent crashes due to TreeSet.- sometimes not deleting the element;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE1973089f1dba: proper check of Proof.is_relevant (again, cf. c3e99efacb67 and df8fc0567a3d);
- Branches
- Unknown
- Tags