Pearl/Paper.thy
Fri, 09 Apr 2010 09:02:54 -0700 Brian Huffman rewrite paragraph introducing equivariance, add citation to Pitts03
Fri, 09 Apr 2010 08:16:08 -0700 Brian Huffman edit 'contributions' section so we do not just quote directly from the reviewer
Thu, 08 Apr 2010 10:25:38 +0200 Christian Urban merged
Thu, 08 Apr 2010 10:25:13 +0200 Christian Urban some further changes
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 00:09:53 -0700 Brian Huffman use qualified name as string in concrete atom example
less more (0) -10 -7 tip