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

Re: [mizar] structures

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] structures
From: Andrzej Trybulec <trybulec@cs.shinshu-u.ac.jp>
Date: Mon, 23 Sep 2002 21:57:51 +0900

Freek Wiedijk wrote:

> Maybe putting this 0 or 1 in the vocabularies is better?
> It would be something like "Ucarrier 0" and "Utopology 1".

You cannot have a space inside the symbol. Sorry.
Andrzej

Follow-Ups:
- Re: [mizar] structures
  - From: Freek Wiedijk <freek@cs.kun.nl>

References:
- Re: [mizar] structures
  - From: Freek Wiedijk <freek@cs.kun.nl>

Prev by Date: Re: [mizar] structures
Next by Date: Re: [mizar] structures
Index(es):
- Chronological
- Thread