nominal2: File revisions

Nominal/Ex/Lambda.thy

2011-06-02	Cezary Kaliszyk	finished the missing obligations	file \| diff \| annotate
2011-06-02	Christian Urban	merged	file \| diff \| annotate
2011-06-02	Christian Urban	a test with a recursion combinator defined on top of nominal_primrec	file \| diff \| annotate
2011-06-02	Cezary Kaliszyk	Use FCB to simplify proof	file \| diff \| annotate
2011-06-01	Christian Urban	hopefully final fix for ho-functions	file \| diff \| annotate
2011-06-01	Christian Urban	first test to fix the problem with free variables	file \| diff \| annotate
2011-06-01	Cezary Kaliszyk	DB translation using index; easier to reason about.	file \| diff \| annotate
2011-06-01	Cezary Kaliszyk	Problem: free variables in the goal	file \| diff \| annotate
2011-06-01	Cezary Kaliszyk	fixed previous commit	file \| diff \| annotate
2011-06-01	Cezary Kaliszyk	equivariance of db_trans	file \| diff \| annotate
2011-05-31	Christian Urban	fixed the problem with cps-like functions	file \| diff \| annotate
2011-05-31	Cezary Kaliszyk	DeBruijn translation in a simplifier friendly way	file \| diff \| annotate

nominal2