Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add previously unused theory to ROOT
  2. Fix broken proofs
Changeset 9291:ebbdf07a80b6 by tjark weber _tjark.weber@it.uu.se_:
Add previously unused theory to ROOT
The file was modified thys/Psi_Calculi/ROOT (diff)
Changeset 9290:144467d68321 by tjark weber _tjark.weber@it.uu.se_:
Fix broken proofs
The file was modified thys/Psi_Calculi/Weak_Bisim_Subst.thy (diff)