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) +15 +100 +300 tip