here is an example of the mizar corpus http://mmlquery.mizar.org/cgi-bin/mmlquery/emacs_search?decode=list+of+th+from+euclid_5&input=list+of+th+from+euclid_5 h

here is an example of the mizar corpus http://mmlquery.mizar.org/cgi-bin/mmlquery/emacs_search?decode=list+of+th+from+euclid_5&input=list+of+th+from+euclid_5 http://mmlquery.mizar.org/cgi-bin/mmlquery/emacs_search?deco... it was the first result at the time from: http://mmlquery.mizar.org/mmlquery/fillin.php?filledfilename=articles.author.mqt&argument=number+1 http://mmlquery.mizar.org/mmlquery/fillin.php?filledfilename...