A question to the qed-owner.

Piotr Rudnicki (piotr@cs.ualberta.ca)
Sat, 30 Oct 1993 21:18:58 -0600

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Victor Yodaiken: "Re: Types Considered Harmful"
Previous message: Dahn: "Re: Types Considered Harmful"

I have joined the qed list few days ago and I am wondering how to
get postings dated later than August 6, which is the last in the archive.
I would like to post something about the Polish Mizar and I am wondering
whether anything has been posted about this project in the meantime.

-- 
Piotr (Peter) Rudnicki

Next message: Victor Yodaiken: "Re: Types Considered Harmful"
Previous message: Dahn: "Re: Types Considered Harmful"