Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. added lemmas wf_imp_asym, wfP_imp_asymp, and wfP_imp_irreflp
  3. removed $ite from E 2.6 in THF format
Changeset 74972:e578640c787a by desharna:
merged
Changeset 74971:16eaa56f69f7 by desharna:
added lemmas wf_imp_asym, wfP_imp_asymp, and wfP_imp_irreflp
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 74970:afd8da649d75 by desharna:
removed $ite from E 2.6 in THF format
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)