nominal2: File revisions

quotient_info.ML

Sat, 21 Nov 2009 02:49:39 +0100	Christian Urban	simplified get_fun so that it uses directly rty and qty, instead of qenv	file \| diff \| annotate
Fri, 20 Nov 2009 13:03:01 +0100	Christian Urban	started regularize of rtrm/qtrm version; looks quite promising	file \| diff \| annotate
Wed, 18 Nov 2009 23:52:48 +0100	Christian Urban	fixed the storage of qconst definitions	file \| diff \| annotate
Thu, 12 Nov 2009 13:56:07 +0100	Cezary Kaliszyk	merged	file \| diff \| annotate
Thu, 12 Nov 2009 02:54:40 +0100	Christian Urban	changed the quotdata to be a symtab table (needs fixing)	file \| diff \| annotate
Thu, 12 Nov 2009 02:18:36 +0100	Christian Urban	added a container for quotient constants (does not work yet though)	file \| diff \| annotate
Wed, 11 Nov 2009 11:59:22 +0100	Christian Urban	updated to new Theory_Data and to new Isabelle	file \| diff \| annotate
Tue, 03 Nov 2009 16:51:33 +0100	Christian Urban	simplified the quotient_def code; type of the defined constant must now be given; for-part eliminated	file \| diff \| annotate

nominal2