.

53fafa2a · Kirill Smelkov · 900a5e4c · 53fafa2a
Commit 53fafa2a authored Feb 10, 2022 by Kirill Smelkov
Show whitespace changes
Inline Side-by-side

Showing with 0 additions and 3 deletions

MutualExclusionSpec.tla MutualExclusionSpec.tla +0 -3

No files found.
--- a/MutualExclusionSpec.tla
+++ b/MutualExclusionSpec.tla
@@ -63,6 +63,3 @@ THEOREM Spec => Liveness


 =============================================================================
-\* Modification History
-\* Last modified Thu Feb 10 13:03:00 MSK 2022 by kirr
-\* Created Wed Feb 09 13:11:29 MSK 2022 by kirr