| 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
|