Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. updated to dev
  2. apparently "obtains" changed
  3. somebody broke this entry (by tweaking "obtains"?)
Changeset 6596:675892920263 by nipkow:
updated to dev
The file was modified thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff)
The file was modified thys/CYK/CYK.thy (diff)
Changeset 6595:12a845600bcf by nipkow:
apparently "obtains" changed
The file was modified thys/Psi_Calculi/Chain.thy (diff)
Changeset 6594:6743842a487d by nipkow:
somebody broke this entry (by tweaking "obtains"?)
The file was modified thys/HRB-Slicing/JinjaVM_Inter/JVMInterpretation.thy (diff)