nominal2: File revisions

Quot/Examples/IntEx.thy

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
Sun, 20 Dec 2009 00:14:46 +0100	Christian Urban	with "isabelle make keywords" you can create automatically a "quot" keywordfile, provided all Logics are in place	file \| diff \| annotate
Sat, 19 Dec 2009 22:21:51 +0100	Christian Urban	avoided global "open"s - replaced by local "open"s	file \| diff \| annotate
Thu, 17 Dec 2009 14:58:33 +0100	Christian Urban	moved the QuotMain code into two ML-files	file \| diff \| annotate
Fri, 11 Dec 2009 11:08:58 +0100	Cezary Kaliszyk	New syntax for definitions.	file \| diff \| annotate
Thu, 10 Dec 2009 08:55:30 +0100	Cezary Kaliszyk	Moved 'int_induct' to IntEx to keep IntEx2 being just theory of integers in order.	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