2010-04-30 | Christian Urban | replaced hide by the new hide_const | changeset | files |
2010-04-30 | Christian Urban | generalised the fs-instance lemma (not just fsets of atoms are finitely supported, but also fsets of finitely supported elements) | changeset | files |
Loading... |