Quoting Jesse Alama <alama@stanford.edu>:
Judging from http://mmlquery.mizar.org/mmlquery/downloads/ it looks like the MMLQuery downloads for MML version 4.92.996 aren't available. (Also, the installation instructions for the system are missing.) Any chance of making those available? Thanks, Jesse -- Jesse Alama (alama@stanford.edu)
Done. -- ----------------------------------------------------------- Grzegorz Bancerek e-mail: bancerek@mizar.org (bancerek@math.uwb.edu.pl) http://mmlquery.mizar.org/~bancerek/ Dept. of Theoretical CS Faculty of Computer Science fax. +48 (85) 746-9057 Bialystok Technical University tel. +48 (85) 746-9116 http://wi.pb.edu.pl