| Tue, 26 Jan 2010 08:09:22 +0100 |
Cezary Kaliszyk |
More eqreflection/equiv cleaning.
|
file |
diff |
annotate
|
| Mon, 25 Jan 2010 20:47:20 +0100 |
Christian Urban |
ids *cannot* be object equalities
|
file |
diff |
annotate
|
| Mon, 25 Jan 2010 19:14:46 +0100 |
Christian Urban |
tuned proofs (mainly in QuotProd)
|
file |
diff |
annotate
|
| Thu, 21 Jan 2010 19:52:46 +0100 |
Cezary Kaliszyk |
Changed fun_map and rel_map to definitions.
|
file |
diff |
annotate
|
| Wed, 13 Jan 2010 16:46:25 +0100 |
Cezary Kaliszyk |
Moved the matches_typ function outside a?d simplified it.
|
file |
diff |
annotate
|
| Fri, 08 Jan 2010 15:02:12 +0100 |
Cezary Kaliszyk |
map and rel simps for all quotients; needed when changing the relations to aggregate ones.
|
file |
diff |
annotate
|
| Thu, 10 Dec 2009 16:56:03 +0100 |
Christian Urban |
added maps-printout and tuned some comments
|
file |
diff |
annotate
|
| Wed, 09 Dec 2009 17:05:33 +0100 |
Cezary Kaliszyk |
Code cleaning.
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 22:24:24 +0100 |
Christian Urban |
decoupled QuotProd from QuotMain and also started new cleaning strategy
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 14:09:50 +0100 |
Christian Urban |
directory re-arrangement
|
file |
diff |
annotate
| base
|