Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Remove unused file (see Tau_Chain.thy for similar results)
Changeset 9289:6c267102d74d by tjark weber _tjark.weber@it.uu.se_:
merged
Changeset 9288:7fa431f4d50e by tjark weber _tjark.weber@it.uu.se_:
Remove unused file (see Tau_Chain.thy for similar results)
The file was removedthys/Psi_Calculi/Weak_Semantics.thy