Wed, 27 Jan 2010 17:39:13 +0100 | Cezary Kaliszyk | Fix the problem with later examples. Maybe need to go back to textual specifications. | changeset | files |
Wed, 27 Jan 2010 17:18:30 +0100 | Cezary Kaliszyk | Some processing of variables in constructors to get free variables. | changeset | files |