Thu, 08 Apr 2010 10:25:13 +0200 Christian Urban some further changes
Thu, 08 Apr 2010 00:49:08 -0700 Brian Huffman merged
Thu, 08 Apr 2010 00:47:13 -0700 Brian Huffman change some wording in conclusion
Thu, 08 Apr 2010 00:25:08 -0700 Brian Huffman remove extra word
Thu, 08 Apr 2010 09:13:36 +0200 Christian Urban merged
Thu, 08 Apr 2010 09:12:13 +0200 Christian Urban added new paper directory for further work
Thu, 08 Apr 2010 00:09:53 -0700 Brian Huffman use qualified name as string in concrete atom example
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip