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. removed Restricted_Predicates.reflp_on following the introduction of equivalent Relation.reflp_on in HOL
  3. removed Restricted_Predicates.total_on following the introduction of equivalent Relation.totalp_on in HOL
Changeset 13169:da2bce68bc31 by desharna:
merged
Changeset 13168:90027a5994cd by desharna:
removed Restricted_Predicates.reflp_on following the introduction of equivalent Relation.reflp_on in HOL
The file was modified thys/Functional_Ordered_Resolution_Prover/Executable_Subsumption.thy
The file was modified thys/Open_Induction/Restricted_Predicates.thy
The file was modified thys/Polynomials/Power_Products.thy
The file was modified thys/Well_Quasi_Orders/Almost_Full.thy
The file was modified thys/Well_Quasi_Orders/Well_Quasi_Orders.thy
Changeset 13167:9d50a3586261 by desharna:
removed Restricted_Predicates.total_on following the introduction of equivalent Relation.totalp_on in HOL
The file was modified thys/Open_Induction/Restricted_Predicates.thy
The file was modified thys/PAC_Checker/PAC_Checker.thy
The file was modified thys/PAC_Checker/PAC_Polynomials_Operations.thy
The file was modified thys/Well_Quasi_Orders/Almost_Full.thy