HomeIsabelle/Phabricator
Diffusion Isabelle 7c76221baecb

adopt terminology suggested by Larry Paulson
7c76221baecb
Actions

Description

adopt terminology suggested by Larry Paulson

Details

Provenance
blanchetteAuthored on
Parents
rISABELLE4cdefee3f97f: more robust E proof parsing
Branches
Unknown
Tags
Unknown

Changes (7)

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

rISABELLE7c76221baecb

View Options

NEWS

Loading...
View Options

src/Doc/Sledgehammer/document/root.tex

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_prover_minimize.ML

Loading...