Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. moved lemma to Isabelle repository
Changeset 6717:a1e33c7248ea by traytel:
merged
Changeset 6716:a74cf06d0ba8 by traytel:
moved lemma to Isabelle repository
The file was modified thys/Incredible_Proof_Machine/Incredible_Predicate.thy (diff)
The file was modified thys/Incredible_Proof_Machine/Incredible_Propositional.thy (diff)
The file was modified thys/Incredible_Proof_Machine/document/root.tex (diff)
The file was removedthys/Incredible_Proof_Machine/Stream_Ext.thy