Summary
- Remove unused file (see Weak_Early_Bisim_SC.thy for similar results)
- Fix some broken proofs
The file was removed | thys/Pi_Calculus/Weak_Early_Cong_SC.thy |
The file was modified | thys/Pi_Calculus/Late_Hennessy.thy (diff) |
The file was removed | thys/Pi_Calculus/Weak_Early_Cong_SC.thy |
The file was modified | thys/Pi_Calculus/Late_Hennessy.thy (diff) |