merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE00e0f7724c06: tiny bit of lemma hacking
rISABELLEd045cdbdf243: proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.); - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 8204f7b53007 tuned --- fewer warnings;Author
- f5c147654661 tuned --- fewer warnings;Author
- 2dd1fd9112d9 tuned --- silence odd warning;Author
- 0ffcad1f6130 tuned --- fewer warnings;Author
- 9efdebe24c65 tuned --- fewer warnings;Author
- 5c0e23d73cea tuned --- fewer warnings;Author
- 0af9e7e4476f tuned --- fewer warnings;Author
- 4f9e4d7d38b4 download on separate thread;Author
- b70d82358c6d clarified signature;Author
- 0fb889c361e6 tuned signature;Author