nominal2: File revisions

Quot/Examples/LamEx.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
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
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
Tue, 08 Dec 2009 17:30:00 +0100	Christian Urban	changed names of attributes	file \| diff \| annotate
Mon, 07 Dec 2009 21:53:50 +0100	Christian Urban	removed "global" data and lookup functions; had to move a tactic out from the inj_repabs_match tactic since apply_rsp interferes with a trans2 rule for ===>	file \| diff \| annotate
Mon, 07 Dec 2009 14:37:10 +0100	Christian Urban	added "end" to each example theory	file \| diff \| annotate
Mon, 07 Dec 2009 14:35:45 +0100	Cezary Kaliszyk	List moved after QuotMain	file \| diff \| annotate
Mon, 07 Dec 2009 14:09:50 +0100	Christian Urban	directory re-arrangement	file \| diff \| annotate \| base

nominal2