Correctness_Algebras: increase session timeout
Description
Description
Details
Details
- Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz> Authored on - Parents
- rAFP49f5cc27cb2e: tuned signature, according to Isabelle/df12779c3ce8;
- Branches
- Unknown
- Tags