HomeIsabelle/Phabricator
Diffusion afp-devel b93c29c6b301

feat(ML_Unification) more explanation
b93c29c6b301
Actions

Description

feat(ML_Unification) more explanation

Details

Provenance
kappelmannAuthored on
Parents
rAFP1e9d0690e280: merge
Branches
Unknown
Tags
Unknown

Changes (3)

PathSize
thys/
ML_Unification/
Examples/
Unification_Hints/

rAFPb93c29c6b301

View Options

thys/ML_Unification/Examples/E_Unification_Examples.thy

Loading...
View Options

thys/ML_Unification/Unification_Hints/ML_Unification_Hints.thy

Loading...
View Options

thys/ML_Unification/Unification_Hints/term_index_unification_hints.ML

Loading...