[mizar] First mention of Mizar on Usenet

[Josh Purinton <josh@joshpurinton.com>]

Today Google extended their Usenet archive back to 1981.  A bit of
poking around revealed the first mention of Mizar on Usenet. In
this 1992 article, Piotr describes Mizar-MSE to some students who
want to create a formal proof that "that a relaion R on a set A is
symmetric if and only R=R^(-1)".

The URL is
	http://groups.google.com/groups?selm=piotr.718649044%40sedalia

Thanks to Andrzej for creating Mizar and Mizar-MSE languages, and thanks
to Piotr for helping create the Mizar-MSE proof checker and tutorials.

Josh

-- 
Josh Purinton <jp@joshpurinton.com>   Someone had to put all that chaos there!