Fri, 27 Mar 2015 11:38:26 +0100 clarified goal context;
wenzelm [Fri, 27 Mar 2015 11:38:26 +0100] rev 59825
clarified goal context;
Fri, 27 Mar 2015 15:08:31 +0100 clarified doc
blanchet [Fri, 27 Mar 2015 15:08:31 +0100] rev 59824
clarified doc
Fri, 27 Mar 2015 11:20:46 +0100 more graceful failure if some of the involved BNFs have no data
blanchet [Fri, 27 Mar 2015 11:20:46 +0100] rev 59823
more graceful failure if some of the involved BNFs have no data
Fri, 27 Mar 2015 09:56:34 +0100 sort BNFs in output
blanchet [Fri, 27 Mar 2015 09:56:34 +0100] rev 59822
sort BNFs in output
Fri, 27 Mar 2015 09:52:57 +0100 preserve order of type arguments in pre-FP BNF typedef
blanchet [Fri, 27 Mar 2015 09:52:57 +0100] rev 59821
preserve order of type arguments in pre-FP BNF typedef
Thu, 26 Mar 2015 23:23:04 +0100 register pre-fixpoint BNFs in database to enable lookup later (e.g. in 'corec')
blanchet [Thu, 26 Mar 2015 23:23:04 +0100] rev 59820
register pre-fixpoint BNFs in database to enable lookup later (e.g. in 'corec')
Thu, 26 Mar 2015 17:10:24 +0100 store low-level (un)fold constants
blanchet [Thu, 26 Mar 2015 17:10:24 +0100] rev 59819
store low-level (un)fold constants
Thu, 26 Mar 2015 16:42:42 +0100 export more functions
blanchet [Thu, 26 Mar 2015 16:42:42 +0100] rev 59818
export more functions
Thu, 26 Mar 2015 12:00:32 +0100 restored broken metis proof
haftmann [Thu, 26 Mar 2015 12:00:32 +0100] rev 59817
restored broken metis proof
Mon, 23 Mar 2015 19:05:14 +0100 distributivity of partial minus establishes desired properties of dvd in semirings
haftmann [Mon, 23 Mar 2015 19:05:14 +0100] rev 59816
distributivity of partial minus establishes desired properties of dvd in semirings
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip