.

4a93b437 · Kirill Smelkov · b96006aa · 4a93b437
Commit 4a93b437 authored Feb 10, 2022 by Kirill Smelkov
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 3 deletions

1Bit.tla 1Bit.tla +0 -3

No files found.
--- a/1Bit.tla
+++ b/1Bit.tla
@@ -115,6 +115,3 @@ THEOREM Spec => ME!Liveness


 =============================================================================
-\* Modification History
-\* Last modified Wed Feb 09 22:19:36 MSK 2022 by kirr
-\* Created Wed Feb 09 20:01:56 MSK 2022 by kirr