merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFP90027a5994cd: removed Restricted_Predicates.reflp_on following the introduction of equivalent…
rAFP12867ed914b0: added lemmas grounding_of_subst_cls_renaming_ident[simp] and… - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- aea1010634a3 added lemmasAuthor
- fd667f78b273 moved lemma aroundAuthor
- 7853712c7792 redefined mgu as a definitionAuthor
- 4805011b1d98 tuned namingAuthor
- 59fdfee9541c fixed proofAuthor
- c58da30bc37a tuned (sub)subsectionAuthor
- bb31b688c043 added lemma unify_range_varsAuthor
- 6accb795ac4a added lemma unify_subst_domainAuthor
- c32416e46a0b added lemma zip_option_same[simp]Author
- a7b51aecfb1b used rho for renammingAuthor
- 71512bd64ad4 tuned assumptionsAuthor
- 2b057bae4776 tuned namingAuthor
- e59345502122 added lemma mgu_range_varsAuthor
- eff9d8ce7be8 merge closed headsAuthor
- 3845c7c84c17 merged via graftingAuthor
- 23f824709665 merged via afp-2021-1Author
- 8e081a5e444f tuned;