diff options
Diffstat (limited to 'development/rmlmmc/README')
| -rw-r--r-- | development/rmlmmc/README | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/development/rmlmmc/README b/development/rmlmmc/README new file mode 100644 index 0000000000..c553f8f163 --- /dev/null +++ b/development/rmlmmc/README @@ -0,0 +1,4 @@ +Relational Meta-Language (RML) and Tools +A System for Developing, Compiling and Debugging and Teaching +Structural Operational Semantics (SOS) and +Natural Semantics Specifications |