nominal2: Changelog

Brian Huffman <brianh@cs.pdx.edu> [Thu, 08 Apr 2010 00:47:13 -0700] rev 1788

change some wording in conclusion

Brian Huffman <brianh@cs.pdx.edu> [Thu, 08 Apr 2010 00:25:08 -0700] rev 1787

remove extra word

Christian Urban <urbanc@in.tum.de> [Thu, 08 Apr 2010 09:13:36 +0200] rev 1786

merged

Christian Urban <urbanc@in.tum.de> [Thu, 08 Apr 2010 09:12:13 +0200] rev 1785

added new paper directory for further work

Brian Huffman <brianh@cs.pdx.edu> [Thu, 08 Apr 2010 00:09:53 -0700] rev 1784

use qualified name as string in concrete atom example

Brian Huffman <brianh@cs.pdx.edu> [Thu, 08 Apr 2010 00:01:45 -0700] rev 1783

merged

Brian Huffman <brianh@cs.pdx.edu> [Thu, 08 Apr 2010 00:00:21 -0700] rev 1782

simplify instance proof

Brian Huffman <brianh@cs.pdx.edu> [Wed, 07 Apr 2010 23:39:08 -0700] rev 1781

polish explanation of additive group syntax

Christian Urban <urbanc@in.tum.de> [Thu, 08 Apr 2010 08:40:49 +0200] rev 1780

final version of the pearl paper

Christian Urban <urbanc@in.tum.de> [Wed, 07 Apr 2010 22:08:46 +0200] rev 1779

my final version of the paper

nominal2