nominal2: File revisions

Nominal/ExCoreHaskell.thy

2010-03-24	Cezary Kaliszyk	Further in the strong induction proof.	file \| diff \| annotate
2010-03-24	Cezary Kaliszyk	Solved one of the strong-induction goals.	file \| diff \| annotate
2010-03-24	Cezary Kaliszyk	Started proving strong induction.	file \| diff \| annotate
2010-03-24	Cezary Kaliszyk	stating the strong induction; further.	file \| diff \| annotate
2010-03-24	Cezary Kaliszyk	Working on stating induct.	file \| diff \| annotate
2010-03-24	Cezary Kaliszyk	Showed support of Core Haskell	file \| diff \| annotate
2010-03-24	Cezary Kaliszyk	Experiments with Core Haskell support.	file \| diff \| annotate
2010-03-24	Cezary Kaliszyk	Core Haskell experiments.	file \| diff \| annotate
2010-03-23	Cezary Kaliszyk	Parsing bn functions that call other bn functions and transmitting this information to fv/alpha.	file \| diff \| annotate
2010-03-23	Cezary Kaliszyk	Modification to Core Haskell to make it accepted with an empty binding function.	file \| diff \| annotate
2010-03-23	Cezary Kaliszyk	Initial list unfoldings in Core Haskell.	file \| diff \| annotate
2010-03-23	Cezary Kaliszyk	Added missing file	file \| diff \| annotate

nominal2