blanchet [Fri, 27 Mar 2015 11:20:46 +0100] rev 59823
more graceful failure if some of the involved BNFs have no data
blanchet [Fri, 27 Mar 2015 09:56:34 +0100] rev 59822
sort BNFs in output
blanchet [Fri, 27 Mar 2015 09:52:57 +0100] rev 59821
preserve order of type arguments in pre-FP BNF typedef
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')
blanchet [Thu, 26 Mar 2015 17:10:24 +0100] rev 59819
store low-level (un)fold constants
blanchet [Thu, 26 Mar 2015 16:42:42 +0100] rev 59818
export more functions
haftmann [Thu, 26 Mar 2015 12:00:32 +0100] rev 59817
restored broken metis proof
haftmann [Mon, 23 Mar 2015 19:05:14 +0100] rev 59816
distributivity of partial minus establishes desired properties of dvd in semirings
haftmann [Mon, 23 Mar 2015 19:05:14 +0100] rev 59815
explicit commutative additive inverse operation;
more explicit focal point for commutative monoids with an inverse operation
haftmann [Mon, 23 Mar 2015 19:05:14 +0100] rev 59814
modernized