| Wed, 17 Feb 2010 17:51:35 +0100 | Cezary Kaliszyk | Terms2 with bindings for binders synchronized with bindings they are used in. | changeset | files |
| Wed, 17 Feb 2010 17:29:26 +0100 | Cezary Kaliszyk | Cleaning of proofs in Terms. | changeset | files |
| Wed, 17 Feb 2010 16:22:16 +0100 | Cezary Kaliszyk | Testing Fv | changeset | files |
| Wed, 17 Feb 2010 15:52:08 +0100 | Cezary Kaliszyk | Fix the strong induction principle. | changeset | files |
| Wed, 17 Feb 2010 15:45:03 +0100 | Cezary Kaliszyk | Reorder | changeset | files |
| Wed, 17 Feb 2010 15:28:50 +0100 | Cezary Kaliszyk | Add bindings of recursive types by free_variables. | changeset | files |
| Wed, 17 Feb 2010 15:20:22 +0100 | Cezary Kaliszyk | Bindings adapted to multiple defined datatypes. | changeset | files |
| Wed, 17 Feb 2010 15:00:04 +0100 | Cezary Kaliszyk | Reorganization | changeset | files |
| Wed, 17 Feb 2010 14:44:32 +0100 | Cezary Kaliszyk | Now should work. | changeset | files |
| Wed, 17 Feb 2010 14:35:06 +0100 | Cezary Kaliszyk | Some optimizations and fixes. | changeset | files |
| Wed, 17 Feb 2010 14:17:02 +0100 | Cezary Kaliszyk | Simplified format of bindings. | changeset | files |
| Wed, 17 Feb 2010 13:56:31 +0100 | Cezary Kaliszyk | Tested the Perm code; works everywhere in Terms. | changeset | files |
| Wed, 17 Feb 2010 13:54:35 +0100 | Cezary Kaliszyk | Wrapped the permutation code. | changeset | files |
| Wed, 17 Feb 2010 10:20:26 +0100 | Cezary Kaliszyk | Description of intended bindings. | changeset | files |