nominal2: File revisions

Quot/Examples/LFex.thy

Tue, 22 Dec 2009 07:28:09 +0100	Christian Urban	simplified calculate_instance; worked around some clever code; clever code is unfortunately still there...needs to be removed	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
Sat, 12 Dec 2009 13:53:46 +0100	Christian Urban	trivial	file \| diff \| annotate
Fri, 11 Dec 2009 11:08:58 +0100	Cezary Kaliszyk	New syntax for definitions.	file \| diff \| annotate
Thu, 10 Dec 2009 04:23:13 +0100	Christian Urban	moved the interpretation code into Unused.thy	file \| diff \| annotate
Wed, 09 Dec 2009 15:57:47 +0100	Cezary Kaliszyk	Different syntax for definitions that allows overloading and retrieving of definitions by matching whole constants.	file \| diff \| annotate

nominal2