Sun, 30 Jan 2011 09:57:37 +0900 | Cezary Kaliszyk | Showing that the binders difference is fresh for the left side solves the goal for 'set'. | changeset | files |
Sat, 29 Jan 2011 14:26:47 +0900 | Cezary Kaliszyk | Experiments with functions | changeset | files |