Mon, 20 Jan 2014 22:24:48 +0100 | blanchet | renamed 'regular' to 'regularCard' to avoid clashes (e.g. in Meson_Test) | changeset | files |
Mon, 20 Jan 2014 21:45:08 +0100 | blanchet | hide BNF notation | changeset | files |
Mon, 20 Jan 2014 21:32:41 +0100 | blanchet | moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain | changeset | files |