MD5 (Isabelle2004.tar.gz) = 8ea6985fde973453090abaa68aaa8446
SIZE (Isabelle2004.tar.gz) = 5650889
MD5 (Isabelle2004_library.tar.gz) = 21a8eaa3e9ba8125450bed00e684bab0
SIZE (Isabelle2004_library.tar.gz) = 17131435
MD5 (Isabelle2004_pdf.tar.gz) = 8ff71a6f755f45eae6247924f5571ff1
SIZE (Isabelle2004_pdf.tar.gz) = 4500547
