| 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
|
| Thu, 06 May 2010 14:10:56 +0200 |
Cezary Kaliszyk |
prod_rel and prod_fv simps
|
changeset |
files
|
| Thu, 06 May 2010 14:10:26 +0200 |
Cezary Kaliszyk |
mem => member
|
changeset |
files
|
| Thu, 06 May 2010 14:09:56 +0200 |
Cezary Kaliszyk |
prod_rel.simps and Fixed for new isabelle
|
changeset |
files
|
| Thu, 06 May 2010 14:09:21 +0200 |
Cezary Kaliszyk |
Fixes for new isabelle
|
changeset |
files
|
| Thu, 06 May 2010 13:25:37 +0200 |
Cezary Kaliszyk |
prod_fv and its respectfullness and preservation.
|
changeset |
files
|
| Thu, 06 May 2010 10:43:41 +0200 |
Cezary Kaliszyk |
Experiments with equivariance.
|
changeset |
files
|