nominal2: File revisions

TODO

Thu, 29 Apr 2010 16:16:45 +0200	Cezary Kaliszyk	Some of the exceptions that the parser should check in TODO.	file \| diff \| annotate
Sun, 11 Apr 2010 22:01:56 +0200	Christian Urban	added TODO item about parser creating syntax for the wrong type	file \| diff \| annotate
Sun, 11 Apr 2010 18:06:45 +0200	Christian Urban	added small ittems about equivaraince of alpha_gens and name of lam.perm	file \| diff \| annotate
Thu, 08 Apr 2010 11:52:05 +0200	Christian Urban	updated (comment about weirdo example)	file \| diff \| annotate
Thu, 08 Apr 2010 11:40:13 +0200	Christian Urban	properly separated the example from my PhD and gave the correct alpha-equivalence relation (according to the paper)	file \| diff \| annotate
Thu, 01 Apr 2010 01:05:05 +0200	Christian Urban	added an item about alpha-equivalence (the existential should be closer to the abstraction)	file \| diff \| annotate
Sat, 27 Mar 2010 12:01:28 +0100	Cezary Kaliszyk	Parsing of list-bn functions into components.	file \| diff \| annotate
Fri, 26 Mar 2010 10:35:26 +0100	Cezary Kaliszyk	Update cheats in TODO.	file \| diff \| annotate

nominal2