nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Fri, 09 Apr 2010 11:08:05 +0200] rev 1797

renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper

Christian Urban <urbanc@in.tum.de> [Thu, 08 Apr 2010 14:18:38 +0200] rev 1796

clarified comment about distinct lists in th efuture work section

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

tuned type-schemes example

Christian Urban <urbanc@in.tum.de> [Thu, 08 Apr 2010 11:52:05 +0200] rev 1794

updated (comment about weirdo example)

Christian Urban <urbanc@in.tum.de> [Thu, 08 Apr 2010 11:50:30 +0200] rev 1793

check whether the "weirdo" example from the binding bestiary works with shallow binders

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

properly separated the example from my PhD and gave the correct alpha-equivalence relation (according to the paper)

Christian Urban <urbanc@in.tum.de> [Thu, 08 Apr 2010 10:25:38 +0200] rev 1791

merged

Christian Urban <urbanc@in.tum.de> [Thu, 08 Apr 2010 10:25:13 +0200] rev 1790

some further changes

nominal2