6 lines
319 B
Text
6 lines
319 B
Text
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
|