quotient_info.ML
Sat, 21 Nov 2009 02:53:23 +0100 Christian Urban flagged qenv-stuff as obsolete
Sat, 21 Nov 2009 02:49:39 +0100 Christian Urban simplified get_fun so that it uses directly rty and qty, instead of qenv
Fri, 20 Nov 2009 13:03:01 +0100 Christian Urban started regularize of rtrm/qtrm version; looks quite promising
Wed, 18 Nov 2009 23:52:48 +0100 Christian Urban fixed the storage of qconst definitions
Thu, 12 Nov 2009 13:56:07 +0100 Cezary Kaliszyk merged
Thu, 12 Nov 2009 02:54:40 +0100 Christian Urban changed the quotdata to be a symtab table (needs fixing)
Thu, 12 Nov 2009 02:18:36 +0100 Christian Urban added a container for quotient constants (does not work yet though)
Wed, 11 Nov 2009 11:59:22 +0100 Christian Urban updated to new Theory_Data and to new Isabelle
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
Mon, 02 Nov 2009 18:26:55 +0100 Christian Urban split quotient.ML into two files
less more (0) tip