Fri, 30 Aug 2013 12:37:03 +0200 | blanchet | moved keywords down the hierarchy | changeset | files |
Fri, 30 Aug 2013 12:12:41 +0200 | blanchet | renamed command to clarify connection with BNF | changeset | files |
Fri, 30 Aug 2013 12:09:51 +0200 | blanchet | merged two theory files | changeset | files |