MD5 (Isabelle2005.tar.gz) = b40a7eff0c9897753f80ffad976b6d2e
SHA256 (Isabelle2005.tar.gz) = a8afaef94bb2efa91309f6dd7812a83628a2df2c3a954d32894529e9eee7f99f
SIZE (Isabelle2005.tar.gz) = 6168654
MD5 (Isabelle2005_library.tar.gz) = 69ddee5572768865f132ccc38980a6e9
SHA256 (Isabelle2005_library.tar.gz) = d7b1a101ddc2e139ef68c7e2d9731df24f9a749b1432948311ecf87f5e7ec53d
SIZE (Isabelle2005_library.tar.gz) = 29778664
MD5 (Isabelle2005_pdf.tar.gz) = ba3a1faa32d585e1d9d21e411452907b
SHA256 (Isabelle2005_pdf.tar.gz) = 008842cfa2b6252e130af7695a98af8ff173cc2a41a712f9ab50419b10fe1a87
SIZE (Isabelle2005_pdf.tar.gz) = 4628889