Tue, 13 May 2014 09:21:22 +0200 | traytel | updated keywords | changeset | files |
Tue, 13 May 2014 09:21:22 +0200 | traytel | bnf_decl -> bnf_axiomatization | changeset | files |
Mon, 12 May 2014 17:17:32 +0200 | wenzelm | tuned signature to make axiomatizations more easy to spot in the source, via "add_axioms" or "axiomatization"; | changeset | files |