merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLEda41823d09a7: Imported a theorem about Infinite_Sum. Importing this theory a bit earlier is…
rISABELLE5b3139a6b0de: A little bit more tidying up - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- cdf5f392ea78 there won't be an E version 2.7Author
- 110988ad5b4c compileAuthor
- 4cdefee3f97f more robust E proof parsingAuthor
- 73611eb994cf slightly more documentationAuthor
- 779faa014564 renamed new Sledgehammer optionAuthor
- e10f15652026 updated documentationAuthor
- f6cb40234009 tuningAuthor
- d2711c9ffa51 tuned whitespace;Author