| Wed, 27 Jan 2010 17:18:30 +0100 | Cezary Kaliszyk | Some processing of variables in constructors to get free variables. | file | diff | annotate |
| Wed, 27 Jan 2010 16:40:16 +0100 | Cezary Kaliszyk | Parsing of the input as terms and types, and passing them as such to the function package. | file | diff | annotate |