merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEb83988b436dc: Add support for CVC4 1.8 to Sledgehammer
rISABELLE945cee776e79: proper meta_digest: avoid non-portable position information; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 7e5102e11c5e clarified messages;Author
- 0d3224b3a92c proper message;Author
- e9030100f97d clarified signature;Author
- 5c08ad7adf77 clarified modules;Author
- febfb98d0941 renamed data typeAuthor
- a17c17ab931c tuned terminologyAuthor
- 99a6bcd1e8e4 tuned signature;Author
- 07edf1952ab1 clarified modules;Author
- 52cb065aa916 clarified modules;Author
- 6b3599ff0687 de-applyingAuthor
- d152890dd17e new theoryAuthor
- 4eea17b3ac58 Tuned parentheses in TPTP outputAuthor
- 09ee9eb7a3d3 proper link for Pure;Author
- 2a329baa7d39 proper link location;Author
- 8d83acc5062e clarified signature;Author
- 65554bac121b clarified document;Author