| Wed, 10 Nov 2010 13:46:21 +0000 |
Christian Urban |
adapted to changes by Florian on the quotient package and removed local fix for function package
|
changeset |
files
|
| Wed, 10 Nov 2010 13:40:46 +0000 |
Christian Urban |
expanded the paper by uncommenting the comments and adding the appendix
|
changeset |
files
|
| Sun, 07 Nov 2010 11:22:31 +0000 |
Christian Urban |
fixed locally the problem with the function package; all tests work again
|
changeset |
files
|
| Sat, 06 Nov 2010 06:18:41 +0000 |
Christian Urban |
added a test about subtyping; disabled two tests, because of problem with function package
|
changeset |
files
|
| Fri, 05 Nov 2010 15:21:10 +0000 |
Christian Urban |
small typo
|
changeset |
files
|
| Fri, 29 Oct 2010 15:37:24 +0100 |
Christian Urban |
squeezed qpaper to 6 pages
|
changeset |
files
|
| Fri, 29 Oct 2010 14:25:50 +0900 |
Cezary Kaliszyk |
Qpaper / Move examples to commented out appendix
|
changeset |
files
|
| Thu, 28 Oct 2010 15:16:43 +0900 |
Cezary Kaliszyk |
Unanonymize qpaper
|
changeset |
files
|
| Thu, 28 Oct 2010 14:12:30 +0900 |
Cezary Kaliszyk |
FSet changes for Qpaper
|
changeset |
files
|
| Thu, 28 Oct 2010 14:03:46 +0900 |
Cezary Kaliszyk |
Remove FSet and use the one from Isabelle
|
changeset |
files
|
| Tue, 19 Oct 2010 15:08:24 +0100 |
Christian Urban |
took out comment about map-types / adapted to recent changes
|
changeset |
files
|
| Tue, 19 Oct 2010 10:10:41 +0100 |
Christian Urban |
use definitions instead of functions
|
changeset |
files
|