Thu, 03 Nov 1994 11:52:04 +0100 | lcp | ZF/Fixedpt/subset0_cs: moved to ZF/ZF.ML | changeset | files |
Thu, 03 Nov 1994 11:45:41 +0100 | lcp | Cardinal_AC/surj_implies_inj: uses Pi_memberD instead of memberPiE | changeset | files |
Thu, 03 Nov 1994 08:34:53 +0100 | clasohm | added warning message | changeset | files |