| Mon, 19 Apr 2010 16:55:36 +0200 | Christian Urban | tuned; fleshed out some library functions about permutations; closed Datatype_Aux structure (increases readability) | changeset | files |
| Mon, 19 Apr 2010 16:19:17 +0200 | Cezary Kaliszyk | FSet is a semi-lattice | changeset | files |
| Mon, 19 Apr 2010 15:54:55 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 19 Apr 2010 15:54:38 +0200 | Cezary Kaliszyk | Putting FSet in bot typeclass. | changeset | files |
| Mon, 19 Apr 2010 15:33:19 +0200 | Cezary Kaliszyk | reorder | changeset | files |
| Mon, 19 Apr 2010 15:37:54 +0200 | Christian Urban | merged | changeset | files |
| Mon, 19 Apr 2010 15:37:33 +0200 | Christian Urban | small updates to the paper; remaining points in PAPER-TODO | changeset | files |
| Mon, 19 Apr 2010 15:28:57 +0200 | Cezary Kaliszyk | sub_list definition and respects | changeset | files |
| Mon, 19 Apr 2010 15:08:29 +0200 | Cezary Kaliszyk | Alternate list_eq and equivalence | changeset | files |
| Mon, 19 Apr 2010 14:08:01 +0200 | Cezary Kaliszyk | Some new lemmas | changeset | files |
| Mon, 19 Apr 2010 13:58:10 +0200 | Cezary Kaliszyk | More cleaning | changeset | files |
| Mon, 19 Apr 2010 12:28:48 +0200 | Cezary Kaliszyk | remove more metis | changeset | files |
| Mon, 19 Apr 2010 12:20:18 +0200 | Cezary Kaliszyk | more metis cleaning | changeset | files |
| Mon, 19 Apr 2010 11:55:12 +0200 | Cezary Kaliszyk | Getting rid of 'metis'. | changeset | files |
| Mon, 19 Apr 2010 11:38:43 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 19 Apr 2010 11:32:33 +0200 | Cezary Kaliszyk | Remove 'defer'. | changeset | files |
| Mon, 19 Apr 2010 09:27:53 +0200 | Christian Urban | merged | changeset | files |
| Mon, 19 Apr 2010 09:25:31 +0200 | Christian Urban | tuned proofs | changeset | files |
| Mon, 19 Apr 2010 11:04:31 +0200 | Cezary Kaliszyk | 2 more lifted lemmas needed for second representation | changeset | files |
| Mon, 19 Apr 2010 10:35:08 +0200 | Cezary Kaliszyk | Accept non-equality eqvt rules in support proofs. | changeset | files |
| Mon, 19 Apr 2010 10:00:52 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 19 Apr 2010 09:59:32 +0200 | Cezary Kaliszyk | Locations of files in Parser | changeset | files |
| Mon, 19 Apr 2010 09:25:55 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 19 Apr 2010 09:25:43 +0200 | Cezary Kaliszyk | minor FSet3 edits. | changeset | files |
| Sun, 18 Apr 2010 18:01:22 +0200 | Christian Urban | tuned | changeset | files |
| Sun, 18 Apr 2010 17:58:45 +0200 | Christian Urban | moved some general function into nominal_library.ML | changeset | files |
| Sun, 18 Apr 2010 17:57:27 +0200 | Christian Urban | tuned; transformation functions now take a context, a thm and return a thm | changeset | files |
| Sun, 18 Apr 2010 17:56:05 +0200 | Christian Urban | tuned | changeset | files |
| Sun, 18 Apr 2010 10:58:29 +0200 | Christian Urban | equivariance for alpha_raw in CoreHaskell is automatically derived | changeset | files |
| Sun, 18 Apr 2010 09:26:38 +0200 | Christian Urban | preliminary parser for perm_simp metod | changeset | files |