nominal2: File revisions

quotient_def.ML

Thu, 19 Nov 2009 14:17:10 +0100	Christian Urban	updated to new Isabelle	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 12:07:33 +0100	Christian Urban	looking up data in quot_info works now (needs qualified string)	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 18:49:46 +0100	Cezary Kaliszyk	Modifications while preparing the goal-directed version.	file \| diff \| annotate
Fri, 06 Nov 2009 19:26:08 +0100	Christian Urban	updated to new Isabelle version and added a new example file	file \| diff \| annotate
Fri, 06 Nov 2009 09:48:37 +0100	Christian Urban	tuned the code in quotient and quotient_def	file \| diff \| annotate
Thu, 05 Nov 2009 13:47:04 +0100	Christian Urban	*removed typing information from get_fun in quotient_def; potentially* dangerous**	file \| diff \| annotate

nominal2