Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. Isar proof.
  3. fixed a contorted and fragile proof
Changeset 6502:3d3b922fa316 by tjark weber _tjark.weber@it.uu.se_:
merged
Changeset 6501:67f887e65cdc by tjark weber _tjark.weber@it.uu.se_:
Isar proof.
The file was modified thys/Kleene_Algebra/Omega_Algebra_Models.thy (diff)
Changeset 6500:7acba5de7d8c by paulson _lp15@cam.ac.uk_:
fixed a contorted and fragile proof
The file was modified thys/Lower_Semicontinuous/Lower_Semicontinuous.thy (diff)