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 |
Sat, 27 Mar 2010 12:01:28 +0100 | Cezary Kaliszyk | Parsing of list-bn functions into components. | changeset | files |