Pearl/Paper.thy
2011-03-16 Christian Urban precise path to LaTeXsugar
2011-03-02 Christian Urban updated pearl papers
2010-11-14 Christian Urban merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
2010-09-03 Christian Urban got rid of Nominal_Atoms (folded into Nominal2_Base)
2010-07-23 Christian Urban made compatible
2010-04-30 Christian Urban replaced hide by the new hide_const
2010-04-09 Brian Huffman rewrite paragraph introducing equivariance, add citation to Pitts03
2010-04-09 Brian Huffman edit 'contributions' section so we do not just quote directly from the reviewer
2010-04-08 Christian Urban merged
2010-04-08 Christian Urban some further changes
2010-04-08 Brian Huffman change some wording in conclusion
2010-04-08 Brian Huffman remove extra word
2010-04-08 Brian Huffman use qualified name as string in concrete atom example
2010-04-08 Brian Huffman merged
2010-04-08 Brian Huffman polish explanation of additive group syntax
2010-04-08 Christian Urban final version of the pearl paper
2010-04-07 Christian Urban my final version of the paper
2010-04-06 Christian Urban added reference to E. Gunter's work
2010-04-04 Christian Urban separated general nominal theory into separate folder
2010-04-03 Christian Urban merged pearl paper with this repository; started litrature subdirectory
less more (0) tip