[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Isn't "Subset of" the same as "Element of bool"?

To: <mizar-forum@mizar.uwb.edu.pl>
Subject: Re: [mizar] Isn't "Subset of" the same as "Element of bool"?
From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Date: Tue, 28 Jan 2003 20:32:45 +0100 (CET)

Sorry, in previous mail, there should be:
Element#2(bool#1(B), bool#2(B,A)    instead of
Element#2(bool#1(B), bool#3(B,A). 

Josef

References:
- Re: [mizar] Isn't "Subset of" the same as "Element of bool"?
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>

Prev by Date: Re: [mizar] Isn't "Subset of" the same as "Element of bool"?
Next by Date: Re: [mizar] Isn't "Subset of" the same as "Element of bool"?
Index(es):
- Chronological
- Thread