HomeIsabelle/Phabricator

added lemmas unify_append_prefix_same, unify_Cons_same, unify_same, and mgu_same

Description

added lemmas unify_append_prefix_same, unify_Cons_same, unify_same, and mgu_same

Details

Provenance
desharnaAuthored on
Parents
rAFPabd28b901adf: added lemma decompose_same_Fun[simp]
Branches
Unknown
Tags
Unknown