Auto saved by Logseq

2025-06-02 17:15:13 +02:00
commit d9ea3d552d
6279 changed files with 711145 additions and 0 deletions
@@ -0,0 +1,14 @@
+-
+file:: [Maude-3.2.1-manual_1701275134294_0.pdf](../assets/Maude-3.2.1-manual_1701275134294_0.pdf)
+file-path:: ../assets/Maude-3.2.1-manual_1701275134294_0.pdf
+
+- The predefined module CONFIGURATION in the file prelude.maude provides basic sorts and constructors for modeling object-based systems
+  ls-type:: annotation
+  hl-page:: 225
+  hl-color:: green
+  id:: 65676611-291e-4ef1-b5bc-8d4f6caf0325
+- Random numbers and counters
+  ls-type:: annotation
+  hl-page:: 166
+  hl-color:: green
+  id:: 6567666b-df63-40c5-92c6-a00c0afcd2e5