Diffusion afp-devel 9412dd83073e

feat(ML_Unification) add recursive unification hints fallback option
9412dd83073e
Actions

Tags

None

Subscribers

None

Description

feat(ML_Unification) add recursive unification hints fallback option

Details

Provenance

Authored on

Parents

rAFP8851b1c659ca: merge

Branches

Unknown

Tags

Unknown

Event Timeline

kappelmann committed rAFP9412dd83073e: feat(ML_Unification) add recursive unification hints fallback option.Jan 4 2024, 5:55 PM

Changes (4)

Path

Size

thys/

ML_Unification/

Examples/

E_Unification_Examples.thy

Unification_Hints_Reification_Examples.thy

ML_Unification_HOL_Setup.thy

Unification_Hints/

ML_Unification_Hints.thy

rAFP9412dd83073e

thys/ML_Unification/Examples/E_Unification_Examples.thy

Loading...

thys/ML_Unification/Examples/Unification_Hints_Reification_Examples.thy

Loading...

thys/ML_Unification/ML_Unification_HOL_Setup.thy

Loading...

thys/ML_Unification/Unification_Hints/ML_Unification_Hints.thy

Loading...