merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE915b3d41dec1: A couple of basic lemmas about arg
rISABELLE637e3e85cd6f: more on Isabelle_System.bash; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 637e3e85cd6f more on Isabelle_System.bash;Author
- beaff25452d2 more specific nameAuthor
- 2ac92ba88d6b more lemmasAuthor
- 6c4c37a3ebec dropped obscure FIXMEAuthor
- a34b49841585 added stride option to MirabelleAuthor
- a97ae083cad1 tuned signature;Author
- 37aff2142295 clarified signature;Author
- 10d3b49a702a tuned signature;Author
- ce4fe0b1cfda NEWSAuthor