diff	2009-06-15 13:41:49 - revision [ Version = 11 --> (current) ] by bci1

diff	2009-06-15 13:38:01 - revision [ Version = 10 --> Version 11 ] by bci1

diff	2009-06-15 13:28:03 - revision [ Version = 9 --> Version 10 ] by bci1 Associative Algebra Lemma

diff	2009-06-15 13:09:13 - revision [ Version = 8 --> Version 9 ] by bci1

diff	2009-06-15 13:08:22 - revision [ Version = 7 --> Version 8 ] by bci1 Coh(X)

diff	2009-06-15 13:08:04 - revision [ Version = 6 --> Version 7 ] by bci1

diff	2009-06-15 12:12:32 - revision [ Version = 5 --> Version 6 ] by bci1 .

diff	2009-06-15 12:10:17 - revision [ Version = 4 --> Version 5 ] by bci1

diff	2009-06-15 12:06:44 - revision [ Version = 3 --> Version 4 ] by bci1 .

diff	2009-06-15 12:04:22 - revision [ Version = 2 --> Version 3 ] by bci1

diff	2009-06-15 11:59:38 - revision [ Version = 1 --> Version 2 ] by bci1