nominal2: File revisions

Quot/Examples/LarryInt.thy

Thu, 21 Jan 2010 19:52:46 +0100	Cezary Kaliszyk	Changed fun_map and rel_map to definitions.	file \| diff \| annotate
Fri, 01 Jan 2010 23:59:32 +0100	Christian Urban	tuned	file \| diff \| annotate
Sat, 26 Dec 2009 07:15:30 +0100	Christian Urban	generalised absrep function; needs consolidation	file \| diff \| annotate
Sun, 20 Dec 2009 00:53:35 +0100	Christian Urban	on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file	file \| diff \| annotate
Sun, 20 Dec 2009 00:26:53 +0100	Christian Urban	renamed "quotient" command to "quotient_type"; needs new keyword file to be installed	file \| diff \| annotate
Wed, 16 Dec 2009 12:15:41 +0100	Cezary Kaliszyk	Removed lambdas on the right hand side. This fixes all 'PROBLEM' comments.	file \| diff \| annotate
Fri, 11 Dec 2009 17:03:34 +0100	Christian Urban	deleted struct_match by Pattern.match (fixes a problem in LarryInt)	file \| diff \| annotate
Fri, 11 Dec 2009 15:58:15 +0100	Christian Urban	added Int example from Larry	file \| diff \| annotate

nominal2