| Sun, 23 May 2010 02:15:24 +0100 |
Christian Urban |
started to work on alpha
|
file |
diff |
annotate
|
| Sat, 22 May 2010 13:51:47 +0100 |
Christian Urban |
properly exported bn_descr
|
file |
diff |
annotate
|
| Fri, 21 May 2010 11:40:18 +0100 |
Christian Urban |
hving a working fv-definition without the export
|
file |
diff |
annotate
|
| Fri, 21 May 2010 05:58:23 +0100 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Thu, 20 May 2010 21:23:53 +0100 |
Christian Urban |
new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
|
file |
diff |
annotate
|
| Sun, 20 Jun 2010 02:37:58 +0100 |
Christian Urban |
fixed example
|
file |
diff |
annotate
|
| Mon, 07 Jun 2010 11:33:00 +0200 |
Christian Urban |
improved abstract, some tuning
|
file |
diff |
annotate
|
| Thu, 27 May 2010 18:30:26 +0200 |
Christian Urban |
fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set
|
file |
diff |
annotate
|
| Mon, 17 May 2010 16:25:45 +0100 |
Christian Urban |
minor tuning
|
file |
diff |
annotate
|
| Wed, 12 May 2010 16:59:53 +0100 |
Christian Urban |
fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy
|
file |
diff |
annotate
|
| Wed, 12 May 2010 16:33:25 +0100 |
Christian Urban |
moved the data-transformation into the parser
|
file |
diff |
annotate
|
| Wed, 12 May 2010 14:47:52 +0100 |
Christian Urban |
ingnored parameters in equivariance; added a proper interface to be called from ML
|
file |
diff |
annotate
|