Diffusion afp-devel c73999097ecd

fix(ML_Unification) reintroduce move_to_prems_conv
c73999097ecd
Actions

Tags

None

Subscribers

None

Description

fix(ML_Unification) reintroduce move_to_prems_conv

Details

Provenance

Authored on

Parents

rAFP3133b6848037: merged

Branches

Unknown

Tags

Unknown

Event Timeline

kappelmann committed rAFPc73999097ecd: fix(ML_Unification) reintroduce move_to_prems_conv.Mon, Apr 29, 11:20 AM

Changes (2)

Path

Size

thys/

ML_Unification/

ML_Utils/

Conversions/

conversion_util.ML

Tactics/

rAFPc73999097ecd

thys/ML_Unification/ML_Utils/Conversions/conversion_util.ML

Loading...

thys/ML_Unification/ML_Utils/Tactics/tactic_util.ML

Loading...