Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. adapted to latest isabelle
Changeset 7096:442f95529caa by nipkow:
adapted to latest isabelle
The file was modified thys/Stone_Algebras/Stone_Construction.thy (diff)
The file was modified thys/SuperCalc/multisets_continued.thy (diff)
The file was modified thys/SuperCalc/superposition.thy (diff)