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

Re: [mizar] Assumption in redefinition?

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Assumption in redefinition?
From: Freek Wiedijk <freek@cs.kun.nl>
Date: Sun, 5 Jan 2003 15:58:43 +0100 (MET)

Dear Adam,

>Can you provide a more elaborate context ?

It was a redefinition to give it a more specific type...

Freek

Follow-Ups:
- Re: [mizar] Assumption in redefinition?
  - From: Artur Kornilowicz <arturk@math.uwb.edu.pl>

References:
- Re: [mizar] Assumption in redefinition?
  - From: Adam Naumowicz <adamn@math.uwb.edu.pl>

Prev by Date: Re: [mizar] Assumption in redefinition?
Next by Date: Re: [mizar] Scheme for func definition with Fraenkel operator?
Index(es):
- Chronological
- Thread