Sat, 27 Mar 2010 14:38:22 +0100 | Cezary Kaliszyk | Remove list_eq notation. | changeset | files |
Sat, 27 Mar 2010 13:50:59 +0100 | Cezary Kaliszyk | Get lifted types information from the quotient package. | changeset | files |
Sat, 27 Mar 2010 12:26:59 +0100 | Cezary Kaliszyk | Equivariance when bn functions are lists. | changeset | files |
Sat, 27 Mar 2010 12:20:17 +0100 | Cezary Kaliszyk | Accepts lists in FV. | changeset | files |