Tue, 10 Jun 2014 21:15:57 +0200 | blanchet | changed syntax of map: and rel: arguments to BNF-based datatypes | file | diff | annotate |
Mon, 26 May 2014 16:32:55 +0200 | blanchet | got rid of '=:' squiggly | file | diff | annotate |
Tue, 13 May 2014 09:21:22 +0200 | traytel | bnf_decl -> bnf_axiomatization | file | diff | annotate |