src/ZF/equalities.ML
Fri, 10 Dec 1993 10:39:12 +0100 lcp ZF/equalities/SUM_eq_UN: new
Fri, 03 Dec 1993 12:47:45 +0100 lcp New distributive laws for Sigma and UN
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip