Wed, 27 Jan 2010 11:48:04 +0100 | Christian Urban | very rough example file for how nominal2 specification can be parsed | changeset | files |
Wed, 27 Jan 2010 11:31:16 +0100 | Christian Urban | reordered cases in regularize (will be merged into two cases) | changeset | files |
Wed, 27 Jan 2010 08:41:42 +0100 | Christian Urban | use of equiv_relation_chk in quotient_term | changeset | files |