Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated NEWS
  2. careful eta-contraction in Metis to keep argument to All and Ex expanded
Changeset 77264:8bec573e1fdc by blanchet:
updated NEWS
The file was modified NEWS (diff)
Changeset 77263:27be31d7ad88 by blanchet:
careful eta-contraction in Metis to keep argument to All and Ex expanded
The file was modified src/HOL/Metis.thy (diff)
The file was modified src/HOL/Tools/Meson/meson_clausify.ML (diff)