Description of Maude's files

README.md

@@ -20,12 +20,15 @@ files.
 
 The specification can be found in the folder `maude`. It includes the following files:
 
-- _alt-smt_:
-- _analysis_:
-- _fme_:
-- _semantics_:
-- _state_:
-- _syntax_:
+- _alt-smt_: Representation of SMT Boolean, Integer and Real expressions as
+  Maude's terms. SMT variables are encoded as terms of the form bb(x), ii(x)
+  and rr(x) where x is a term of sort SMTVarId. 
+- _analysis_: Definition of commands to perform parameter-synthesis and search
+  with folding. 
+- _fme_: Implementation of the Fourier–Motzkin elimination procedure. 
+- _semantics_: Rewriting rules defining the semantics of networks of PTAs
+- _state_: Sorts and constructors for defining the state of the NPTAD. 
+- _syntax_: Syntax for defining NPTADs. 
 
 See the headers of each file for further information.