14 lines
531 B
Markdown
14 lines
531 B
Markdown
-
|
|
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 |