Blob Blame History Raw
SHA512 (metamath.tar.bz2) = eb567e645a924bb23d37e2d6ad9e69c75c9f4e307caaf60614b265af3bcd9bde3772e1eb9b817dfb8b33cab09c87bb88850872034afcc6e1789444f3ea7717c7
SHA512 (metamath.tex) = 883f8c306bac3b3b54810d3c4718e944c413fb28c12ee1a9c0917938bc68f03c45d2aba2509932be45d04c03c88e64e1cd9d7ba0a93dc1b8a296ea15259a6697