nominal2: File revisions

QuotTest.thy

Thu, 05 Nov 2009 13:47:04 +0100	Christian Urban	*removed typing information from get_fun in quotient_def; potentially* dangerous**	file \| diff \| annotate
Thu, 05 Nov 2009 09:38:34 +0100	Cezary Kaliszyk	Infrastructure for polymorphic types	file \| diff \| annotate
Wed, 04 Nov 2009 16:10:39 +0100	Cezary Kaliszyk	Two new tests for get_fun. Second one fails.	file \| diff \| annotate
Mon, 02 Nov 2009 09:33:48 +0100	Christian Urban	fixed the problem with types in map	file \| diff \| annotate
Wed, 28 Oct 2009 19:46:15 +0100	Christian Urban	ported all constant definitions to new scheme	file \| diff \| annotate
Sun, 25 Oct 2009 23:44:41 +0100	Christian Urban	added code for declaring map-functions	file \| diff \| annotate
Sat, 24 Oct 2009 18:17:38 +0200	Christian Urban	changed the definitions of liftet constants to use fun_maps	file \| diff \| annotate
Sat, 24 Oct 2009 16:31:07 +0200	Christian Urban	changed encoding from utf8 to ISO8 (needed to work with xemacs)	file \| diff \| annotate
Fri, 23 Oct 2009 16:34:20 +0200	Cezary Kaliszyk	Split Finite Set example into separate file	file \| diff \| annotate

nominal2