merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE9d431c939a7f: More of Eberl's material
rISABELLE8a28ab58d155: detect duplicates in Sledgehammer output -- suggested by Larry Paulson - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 7ba474a01249 tuned names;Author
- 291f5848bf55 clarified names;Author
- 1e10689ee184 unused (see also 0cebcbeac4c7);Author
- e50cad69cbe7 tuned comments;Author
- f376aebca9c1 clarified modules;Author
- 5f6f567a2661 clarified modules;Author
- 3bc611c80346 clarified modules;Author
- 5ecaf881b563 clarified signature;Author
- 362bf802013e clarified modules;Author
- a073ac3f3b56 clarified modules;Author
- 38503d9ff2e5 clarified modules;Author
- 5af7e8ffcab7 clarified modules;Author
- 4e8bec105ce5 tuned signature;Author
- b474d39ddfee tuned signature;Author
- a553e419e9dc tuned signature;Author
- 7a52ba76aa9e tuned signature;Author
- 8c749bbf885c tuned signature;Author
- ce53c1ce8536 tuned signature;Author
- 5b9848b1ba30 tuned signature;Author
- e72b1f5fd88d tuned signature;Author
- 167b5095ba14 tuned signature (again);Author
- 080f76d138ed tuned signature (again);Author
- 3f13c6d47625 tuned signature;Author
- 9969b6aed223 clarified modules (again);Author
- 80f7a7b66224 tuned signature;Author