Diffusion afp-devel 6271c50446bf

feat(ML_Unification) use fixed parser from Isabelle distro
6271c50446bf
Actions

Tags

None

Subscribers

None

Description

feat(ML_Unification) use fixed parser from Isabelle distro

Details

Provenance

Authored on

Parents

rAFPefc5e6824650: merged

Branches

Unknown

Tags

Unknown

Event Timeline

kappelmann committed rAFP6271c50446bf: feat(ML_Unification) use fixed parser from Isabelle distro.Oct 31 2023, 4:01 PM

Changes (5)

Path

Size

thys/

ML_Unification/

ML_Utils/

General/

general_util.ML

Parsing/

parse_key_value.ML

Tactics/

Unification_Hints/

term_index_unification_hints.ML

rAFP6271c50446bf

thys/ML_Unification/ML_Utils/General/general_util.ML

Loading...

thys/ML_Unification/ML_Utils/Parsing/parse_key_value.ML

Loading...

thys/ML_Unification/ML_Utils/Parsing/parse_util.ML

Loading...

thys/ML_Unification/ML_Utils/Tactics/tactic_util.ML

Loading...

thys/ML_Unification/Unification_Hints/term_index_unification_hints.ML

Loading...