Mon, 08 Sep 2014 14:06:15 +0100 Christian Urban initial version of the theory
Wed, 03 Sep 2014 14:59:45 +0100 Christian Urban added Crashcourse paper to literature
Fri, 15 Aug 2014 14:10:58 +0100 Christian Urban added all toy implementations
Fri, 15 Aug 2014 14:01:27 +0100 Christian Urban deleted big pdf file
Fri, 15 Aug 2014 13:59:34 +0100 Christian Urban added relevant paper by Tobias Nipkow
Fri, 15 Aug 2014 13:51:42 +0100 Christian Urban initial commit
(0) +6 +10 +30 +100 +300 tip