Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merged
  2. added lemmas subst_range_rename_subst_domain_subset and range_vars_rename_subst_domain_subset
  3. added lemma subst_domain_rename_subst_domain_subset
  4. added lemma image_the_Var_image_subst_renaming_eq
Changeset 13180:d25ce7f63fa2 by desharna:
merged
Changeset 13179:a9ae62809476 by desharna:
added lemmas subst_range_rename_subst_domain_subset and range_vars_rename_subst_domain_subset
The file was modified thys/First_Order_Terms/Term.thy
Changeset 13178:a3d4094a4f81 by desharna:
added lemma subst_domain_rename_subst_domain_subset
The file was modified thys/First_Order_Terms/Term.thy
Changeset 13177:bd387f13ff08 by desharna:
added lemma image_the_Var_image_subst_renaming_eq
The file was modified thys/First_Order_Terms/Term.thy