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

Re: Syntax of a Mizar Language - update

To: mizar-forum@mizar.uw.bialystok.pl
Subject: Re: Syntax of a Mizar Language - update
From: Andrzej Trybulec <trybulec@edserve.cs.shinshu-u.ac.jp>
Date: Fri, 12 Sep 1997 18:17:30 +0900

Mariusz,
Moglbys powtorzyc Twoj ostatni message.
Przez przypadek go zniszczylem

Andrzej

References:
- Syntax of a Mizar Language - update
  - From: Mariusz Zynel <mariuszz@math.uw.bialystok.pl>

Prev by Date: Re: Choice Axiom
Index(es):
- Chronological
- Thread