Eugen Sawin <sawine@me73.com> [Sat, 19 May 2012 16:12:13 +0200] rev 11
Really final ex3.
Eugen Sawin <sawine@me73.com> [Sat, 19 May 2012 04:25:58 +0200] rev 10
Final ex03.
Eugen Sawin <sawine@me73.com> [Fri, 18 May 2012 22:37:44 +0200] rev 9
Added first part of ex3.
Eugen Sawin <sawine@me73.com> [Wed, 09 May 2012 15:13:56 +0200] rev 8
Final ex2 solution.
Eugen Sawin <sawine@me73.com> [Wed, 09 May 2012 15:13:41 +0200] rev 7
Final ex2 solution.
Eugen Sawin <sawine@me73.com> [Wed, 09 May 2012 04:07:59 +0200] rev 6
Added some proof sketches for the reduction.
Eugen Sawin <sawine@me73.com> [Wed, 09 May 2012 01:04:24 +0200] rev 5
Added first part of solution for ex2.
Eugen Sawin <sawine@me73.com> [Fri, 27 Apr 2012 19:03:09 +0200] rev 4
Added final ex01 solution.
Eugen Sawin <sawine@me73.com> [Fri, 27 Apr 2012 02:02:08 +0200] rev 3
Almost finished ex01.
Eugen Sawin <sawine@me73.com> [Thu, 26 Apr 2012 00:25:00 +0200] rev 2
Added sol 1.2.