Sun, 13 Jun 2010 17:40:32 +0200 |
Christian Urban |
more on the constant lifting section
|
file |
diff |
annotate
|
Sun, 13 Jun 2010 17:01:15 +0200 |
Christian Urban |
something about the quotient ype definitions
|
file |
diff |
annotate
|
Sun, 13 Jun 2010 14:39:55 +0200 |
Christian Urban |
added some examples
|
file |
diff |
annotate
|
Sun, 13 Jun 2010 13:42:37 +0200 |
Christian Urban |
improved definition of ABS and REP
|
file |
diff |
annotate
|
Sun, 13 Jun 2010 07:14:53 +0200 |
Cezary Kaliszyk |
qpaper.
|
file |
diff |
annotate
|
Sun, 13 Jun 2010 06:50:34 +0200 |
Cezary Kaliszyk |
some spelling
|
file |
diff |
annotate
|
Sun, 13 Jun 2010 06:45:20 +0200 |
Cezary Kaliszyk |
minor
|
file |
diff |
annotate
|
Sun, 13 Jun 2010 06:34:22 +0200 |
Cezary Kaliszyk |
qpaper / tuning in preservation and general display
|
file |
diff |
annotate
|
Sun, 13 Jun 2010 04:06:06 +0200 |
Christian Urban |
polishing of ABS/REP
|
file |
diff |
annotate
|
Sat, 12 Jun 2010 11:32:36 +0200 |
Christian Urban |
some slight tuning of the intro
|
file |
diff |
annotate
|
Sat, 12 Jun 2010 06:35:27 +0200 |
Cezary Kaliszyk |
Fix integer relation.
|
file |
diff |
annotate
|
Sat, 12 Jun 2010 02:36:49 +0200 |
Christian Urban |
completed the intro (except minor things)
|
file |
diff |
annotate
|