Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- more robust adhoc shell script: work with Isabelle_System.export_isabelle_identifier;
- more concise instance-specific rules on euclidean relation
- merged
- Tidied a few more proofs
- merged
- tidied a few ugly proofs
- let rsync re-use ssh connection via control path;
- clarified command-line;
- clarified command-line;
- tuned signature;
- proper port for Mercurial;
- clarified default: do not override port from ssh_config, which could be different from 22;
- proper Scala expression;
- clarified signature: separate unrelated modules;
- tuned;
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- merged
- Purely cosmetic
- merged
- Deleted one redundant step
- merged
- Merge
- Tidied (a lot)
The file was modified | thys/Roth_Arithmetic_Progressions/Roth_Arithmetic_Progressions.thy |
The file was modified | thys/Wetzels_Problem/Wetzels_Problem.thy |
The file was modified | thys/Ackermanns_not_PR/Primrec.thy |