| Tue, 11 May 2010 12:18:26 +0100 | Christian Urban | added some of the quotient literature; a bit more to the qpaper | changeset | files |
| Mon, 10 May 2010 18:09:00 +0100 | Christian Urban | fixed a problem with non-existant alphas2 | changeset | files |
| Mon, 10 May 2010 17:57:22 +0100 | Christian Urban | added comment about bind_set | changeset | files |
| Mon, 10 May 2010 17:55:54 +0100 | Christian Urban | fixing bind_set problem | changeset | files |
| Mon, 10 May 2010 18:32:50 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 10 May 2010 18:32:15 +0200 | Cezary Kaliszyk | Term8 comment | changeset | files |
| Mon, 10 May 2010 18:30:27 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 10 May 2010 18:29:45 +0200 | Cezary Kaliszyk | Restore set bindings in CoreHaskell | changeset | files |
| Mon, 10 May 2010 15:54:16 +0200 | Cezary Kaliszyk | Recursive examples with relation composition | changeset | files |
| Mon, 10 May 2010 15:45:04 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 10 May 2010 15:44:49 +0200 | Cezary Kaliszyk | prod_rel and prod_fv eqvt and mono | changeset | files |
| Mon, 10 May 2010 15:14:02 +0200 | Cezary Kaliszyk | ExLetRec | changeset | files |
| Mon, 10 May 2010 15:11:19 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 10 May 2010 15:11:05 +0200 | Cezary Kaliszyk | Parser changes for compound relations | changeset | files |
| Mon, 10 May 2010 15:09:53 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 10 May 2010 15:09:32 +0200 | Cezary Kaliszyk | Use mk_compound_fv' and mk_compound_rel' | changeset | files |
| Mon, 10 May 2010 12:05:13 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 10 May 2010 12:04:40 +0200 | Cezary Kaliszyk | Membership in a pair of lists. | changeset | files |
| Mon, 10 May 2010 10:22:57 +0200 | Cezary Kaliszyk | Synchronize FSet with repository | changeset | files |
| Sun, 09 May 2010 12:38:59 +0100 | Christian Urban | tuned file names for examples | changeset | files |
| Sun, 09 May 2010 12:26:10 +0100 | Christian Urban | cleaned up a bit the examples; added equivariance to all examples | changeset | files |
| Sun, 09 May 2010 11:43:24 +0100 | Christian Urban | fixed the problem with alpha containing splits | changeset | files |
| Sun, 09 May 2010 11:37:19 +0100 | Christian Urban | added eqvt-lemma for split; changed semantics of perm_simp: excluded stands for constants about which no complaint is written out...eqvt_apply is now always applied | changeset | files |
| Fri, 07 May 2010 12:28:11 +0200 | Cezary Kaliszyk | Manually added some newer keywords from the distribution | changeset | files |
| Fri, 07 May 2010 12:10:04 +0200 | Cezary Kaliszyk | Regularize experiments | changeset | files |
| Thu, 06 May 2010 14:21:10 +0200 | Cezary Kaliszyk | alpha_eqvt_tac with prod_rel and prod_fv simps | changeset | files |
| Thu, 06 May 2010 14:14:30 +0200 | Cezary Kaliszyk | mem => member | changeset | files |
| Thu, 06 May 2010 14:13:45 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Thu, 06 May 2010 14:13:35 +0200 | Cezary Kaliszyk | Fixes for new Isabelle | changeset | files |
| Thu, 06 May 2010 14:13:05 +0200 | Cezary Kaliszyk | compound versions with prod_rel and prod_fun, not made default yet. | changeset | files |