HomeIsabelle/Phabricator
Diffusion Isabelle 4195e75a92ef

[mirabelle] add initial documentation in Sledgehammer's doc
4195e75a92ef
Actions

Description

[mirabelle] add initial documentation in Sledgehammer's doc

Details

Provenance
desharnaAuthored on
Parents
rISABELLE0973a594be72: clarified names;
Branches
Unknown
Tags
Unknown

Changes (5)

PathSize
src/
Doc/
Sledgehammer/
document/
HOL/
Mirabelle/
Tools/
lib/
Tools/
Tools/
Sledgehammer/

rISABELLE4195e75a92ef

View Options

src/Doc/Sledgehammer/document/root.tex

Loading...
View Options

src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML

Loading...
View Options

src/HOL/Mirabelle/lib/Tools/mirabelle

Loading...
View Options

src/HOL/Sledgehammer.thy

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML

Loading...