Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. added another simplification rule when alternatives are equal
Changeset 13402:6bc96b722875 by Christian Urban _christian.urban@kcl.ac.uk_:
added another simplification rule when alternatives are equal
The file was modified thys/Posix-Lexing/Extensions/Simplifying3.thy
The file was modified thys/Posix-Lexing/Simplifying.thy