Mon, 10 May 2010 15:09:32 +0200 | Cezary Kaliszyk | Use mk_compound_fv' and mk_compound_rel' | changeset | files |
Mon, 10 May 2010 12:05:13 +0200 | Cezary Kaliszyk | merge | changeset | files |
Mon, 10 May 2010 12:04:40 +0200 | Cezary Kaliszyk | Membership in a pair of lists. | changeset | files |
Mon, 10 May 2010 10:22:57 +0200 | Cezary Kaliszyk | Synchronize FSet with repository | changeset | files |
Sun, 09 May 2010 12:38:59 +0100 | Christian Urban | tuned file names for examples | changeset | files |
Sun, 09 May 2010 12:26:10 +0100 | Christian Urban | cleaned up a bit the examples; added equivariance to all examples | changeset | files |