Diffusion Isabelle e10f15652026

updated documentation
e10f15652026
Actions

Tags

None

Subscribers

None

Description

updated documentation

Details

Provenance

Authored on

Parents

rISABELLE4e8a6354c54f: improve ad hoc abduction in Sledgehammer

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEe10f15652026: updated documentation.Mar 1 2023, 8:00 AM

Changes (2)

Path

Size

src/

Doc/

Sledgehammer/

document/

rISABELLEe10f15652026

NEWS

Loading...

src/Doc/Sledgehammer/document/root.tex

Loading...