Delete some experimental stuff

k32 · k32 · commit 095ed6bf179b · 2026-02-22T03:57:21.000+01:00
diff --git a/theories/Storage.v b/theories/Storage.v
@@ -1,5 +1,5 @@
 (* LibTx, proofs about distributed systems design
-   Copyright (C) 2019-2021, 2023  k32
+   Copyright (C) 2019-2026  k32
 
    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
diff --git a/theories/Storage/Applications/MQTT.v b/theories/Storage/Applications/MQTT.v
diff --git a/theories/Storage/Instances/AVL.v b/theories/Storage/Instances/AVL.v
@@ -100,5 +100,3 @@ Module Type Make (E : OrderedType).
       |}.
   End defn.
 End Make.
-
-Print Module Make.
