Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 18:04:06 +0200] rev 16
Fix negation.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 18:01:22 +0200] rev 15
Fix negation.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 18:00:34 +0200] rev 14
Fix negation.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 16:11:11 +0200] rev 13
Added header.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 16:08:39 +0200] rev 12
Renamed file.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 16:08:04 +0200] rev 11
Cleaned up.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 14:05:25 +0200] rev 10
Fixed double not reduction.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 13:52:38 +0200] rev 9
Hacked reduction.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 04:10:39 +0200] rev 8
Hacked reduction.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 03:38:02 +0200] rev 7
Hacked reduction.