merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEe06463478a3f: added lemma irreflp_on_multpHO[simp]
rISABELLE1d5872cb52ec: Beautifying an old entry - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 422c57b75b17 support remote operations;Author
- e233054dcb00 clarified defaults;Author
- f56800b8b085 clarified defaults;Author
- 3bb374ac31b3 support remote download_file;Author
- c839b84ee66f more modular shell script;Author
- e57ba228ec24 tuned: drop redundant "expand";Author