| 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 |
| Wed, 17 Feb 2010 10:12:01 +0100 | Cezary Kaliszyk | Code for generating the fv function, no bindings yet. | changeset | files |
| Wed, 17 Feb 2010 09:27:02 +0100 | Cezary Kaliszyk | merge | changeset | files |
| Wed, 17 Feb 2010 09:26:49 +0100 | Cezary Kaliszyk | indent | changeset | files |
| Wed, 17 Feb 2010 09:26:38 +0100 | Cezary Kaliszyk | merge | changeset | files |
| Wed, 17 Feb 2010 09:26:10 +0100 | Cezary Kaliszyk | Simplifying perm_eq | changeset | files |
| Tue, 16 Feb 2010 15:13:14 +0100 | Cezary Kaliszyk | merge | changeset | files |
| Tue, 16 Feb 2010 15:12:31 +0100 | Cezary Kaliszyk | indenting | changeset | files |
| Tue, 16 Feb 2010 15:12:49 +0100 | Cezary Kaliszyk | Minor | changeset | files |
| Tue, 16 Feb 2010 14:57:39 +0100 | Cezary Kaliszyk | Merge | changeset | files |
| Tue, 16 Feb 2010 14:57:22 +0100 | Cezary Kaliszyk | Ported Stefan's permutation code, still needs some localizing. | changeset | files |
| Mon, 15 Feb 2010 16:54:09 +0100 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 15 Feb 2010 16:53:51 +0100 | Cezary Kaliszyk | Removed varifyT. | changeset | files |
| Mon, 15 Feb 2010 17:02:46 +0100 | Christian Urban | merged | changeset | files |
| Mon, 15 Feb 2010 17:02:26 +0100 | Christian Urban | 2-spaces rule (where it makes sense) | changeset | files |
| Mon, 15 Feb 2010 16:52:32 +0100 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 15 Feb 2010 16:51:30 +0100 | Cezary Kaliszyk | Fixed the definition of less and finished the missing proof. | changeset | files |
| Mon, 15 Feb 2010 16:50:11 +0100 | Christian Urban | further tuning | changeset | files |
| Mon, 15 Feb 2010 16:37:48 +0100 | Christian Urban | small tuning | changeset | files |
| Mon, 15 Feb 2010 16:28:07 +0100 | Christian Urban | tuned the parsing and testing code in quotient_def.ML; cleaned out old stuff in AbsRepTest.thy | changeset | files |
| Mon, 15 Feb 2010 14:58:03 +0100 | Cezary Kaliszyk | der_bname -> derived_bname | changeset | files |
| Mon, 15 Feb 2010 14:51:17 +0100 | Cezary Kaliszyk | Names of files. | changeset | files |
| Mon, 15 Feb 2010 14:28:03 +0100 | Cezary Kaliszyk | Finished introducing the binding. | changeset | files |