nominal2: File revisions

Nominal/Ex/Lambda.thy

2011-06-23	Christian Urban	the simplifier can simplify "sort (atom a)" if a is a concrete atom type declared with atom_decl	file \| diff \| annotate
2011-06-22	Christian Urban	some rudimentary infrastructure for storing data about nominal datatypes	file \| diff \| annotate
2011-06-16	Christian Urban	got rid of the boolean flag in the raw_equivariance function	file \| diff \| annotate
2011-06-16	Christian Urban	added a test that every function must be of pt-sort	file \| diff \| annotate
2011-06-15	Christian Urban	added size-lemmas to simplifier; as a result termination can be proved by the standard lexicographic_order method	file \| diff \| annotate
2011-06-15	Cezary Kaliszyk	Some TODOs	file \| diff \| annotate
2011-06-10	Cezary Kaliszyk	Move working examples before non-working ones	file \| diff \| annotate
2011-06-10	Cezary Kaliszyk	Optimized proofs and removed some garbage.	file \| diff \| annotate
2011-06-10	Cezary Kaliszyk	Slightly modify fcb for list1 and put in common place.	file \| diff \| annotate
2011-06-09	Cezary Kaliszyk	Eval can be defined with additional freshness	file \| diff \| annotate
2011-06-09	Cezary Kaliszyk	Minor simplification	file \| diff \| annotate
2011-06-08	Christian Urban	merged	file \| diff \| annotate

nominal2