nominal2: File revisions

Paper/Paper.thy

2010-04-02	Christian Urban	polished infrastruct section	file \| diff \| annotate
2010-04-02	Christian Urban	completed lifting section	file \| diff \| annotate
2010-04-02	Christian Urban	more on the lifting section	file \| diff \| annotate
2010-04-02	Christian Urban	more on the strong induction section	file \| diff \| annotate
2010-04-01	Christian Urban	completed conclusion	file \| diff \| annotate
2010-04-01	Christian Urban	merged	file \| diff \| annotate
2010-04-01	Christian Urban	updated related work section	file \| diff \| annotate
2010-04-01	Cezary Kaliszyk	Update fv_bn definition for bindings allowed in types for which bn is present.	file \| diff \| annotate
2010-04-01	Cezary Kaliszyk	Minor formula fixes.	file \| diff \| annotate
2010-04-01	Christian Urban	fixed alpha_bn	file \| diff \| annotate
2010-04-01	Christian Urban	current state	file \| diff \| annotate
2010-04-01	Christian Urban	merged	file \| diff \| annotate
2010-04-01	Christian Urban	added alpha_bn definition	file \| diff \| annotate
2010-04-01	Cezary Kaliszyk	hfill for right aligning single table cells.	file \| diff \| annotate
2010-04-01	Cezary Kaliszyk	Cleaning the strong induction example.	file \| diff \| annotate
2010-04-01	Cezary Kaliszyk	minor	file \| diff \| annotate

nominal2