580ae7e29e092eda7b84864af97d097df1ba21221b846e4f8c1c6a26e203e503 Isabelle2020.exe (351M / 367011735 bytes)5380d9b2989bf4fc2420b84268bda5041516e325410218f2108145fcd6b58fd3 Isabelle2020_library.tar.gz (289M / 302095563 bytes)633aff864d6647bd175cf831e7513e3fd0cd06beacbf29a5c6c66d4de1522bae Isabelle2020_linux.tar.gz (408M / 427417564 bytes)bd0353ee15b9371729e94548c849864d14531eb2e9125fde48122b4da32bd9e9 Isabelle2020_macos.tar.gz (407M / 425926872 bytes)1bfd2b4562ceff27e3026158ca96bdadd8573e1faa39f1f50225afe4bb0469ec Isabelle2020.tar.gz (51M / 53371046 bytes)b7d223bd469498bfe2b5984b1ff0b689812003a8c1c4c408c5545f43adcda635 contrib/bash_process-1.2.3.tar.gz (59K / 60185 bytes)be274a3b94a865244672943916b0cb3e3e388c6d38f9cfc342e41beb309a08bc contrib/bib2xhtml-20190409.tar.gz (281K / 287429 bytes)3614b9bcf40ad202f292b5821fedcaa9bec05db62c7bbd7abd0ae222d8a1bd21 contrib/csdp-6.1-1.tar.gz (778K / 795732 bytes)0c53c7fdf7c80bcd5ee43700d853c39c926c747b72fe328f959c64af4d53d119 contrib/cvc4-1.5-5.tar.gz (28M / 28329769 bytes)b2fdec8ca1c651de217ceef52f94f0dc17e65a7839443823a43bc6988b9df915 contrib/cygwin-20200323.tar.gz (56M / 58659067 bytes)3fd8cf1954d750748c8311b979483cfcb5c484784e6fd0570a1e0b9de8c2a09e contrib/e-2.0-3.tar.gz (2.2M / 2249583 bytes)bc2a87caebe5b27008012e7598dac088995fa902d68deca15fd7d13ecbcfea1a contrib/isabelle_fonts-20190717.tar.gz (3.1M / 3174665 bytes)2e2284eae28151b932e8f07e22d41123699525c09e8b4fc95573f274cc73f998 contrib/jdk-11.0.5+10.tar.gz (554M / 580481961 bytes)a61dee833c53b19755b2a461af78d1554ff7ffbd366051ec3eff545c9fd691b1 contrib/jfreechart-1.5.0.tar.gz (2.5M / 2548304 bytes)cf004d735252dcdc00ff6d3c9b5cc400f56bc8b7eb49ed9a3227f12779639bad contrib/jortho-1.0-2.tar.gz (1.7M / 1723761 bytes)92c4ebb46b26832cd15762a77d5cac5cb1c5a3788953edc443d2a9a8909b3b9a contrib/kodkodi-1.5.2-1.tar.gz (2.7M / 2807569 bytes)1a016fd1223a82720e870fcead019fac2b192e15c17382e1bb1aee2c6d19da89 contrib/linux_app-20200110.tar.gz (353K / 360690 bytes)fce086c4a484fe0748bfe84992a46ad11eb1caeb9254a754e430a339154bebd4 contrib/macos_app-20181208.tar.gz (45K / 46062 bytes)b828ee079129b34f9c46f52a0c0e435fafd3689ed5d9f7a65b7b3d4034ba321b contrib/nunchaku-0.5.tar.gz (5.4M / 5583019 bytes)073650d4126ee14e5848b22f3192c11c7a134cde53cfcd628f0c2a8bf439dd33 contrib/opam-2.0.6.tar.gz (4.0M / 4101368 bytes)35e5135641c43f7d101bd105c33ca4f72905eebc85d2aaf1852220f11972540f contrib/polyml-5.8.1-20200228.tar.gz (29M / 29520250 bytes)c7dadc09e2993c9c1b5f4d357d0a8314534e2870b15b9cd268cbdce3074b9663 contrib/postgresql-42.2.9.tar.gz (829K / 848201 bytes)e81c7f20ce035dab4a93f76749664d19b1a7a93789301e7a49e47e16fbd7659d contrib/scala-2.12.10.tar.gz (20M / 20673523 bytes)a4e071474f85e1869aa1acfc9ccd4b7e7f43f9c2054cfc6f054a4f4791e1e9ff contrib/smbc-0.4.1.tar.gz (3.3M / 3370801 bytes)657930bd1b464f6686206cfe130317701dc3a1bf963811166c0f39d9cc642e6d contrib/spass-3.8ds-1.tar.gz (993K / 1016164 bytes)8ccfdbb4d2ecb714a0e3accf3372dddd9adfc58f0aa89c90bb4e0518f31a5945 contrib/sqlite-jdbc-3.30.1.tar.gz (7.3M / 7555728 bytes)ab2f851193b4f72d92c79843b88b8f0fcaf3fa221d350e9492dc4b16fb0eec6a contrib/ssh-java-20190323.tar.gz (406K / 414794 bytes)eb5925a558132c36596634b5b539f042d3627fe4c1e3855240209512cea29684 contrib/stack-2.1.3.tar.gz (29M / 29976688 bytes)1e6642965955c886e474b84db194cd81e0e3efaccd082edcd03f04f1daba7c24 contrib/sumatra_pdf-3.1.2-2.tar.gz (3.9M / 4083391 bytes)f85ff56828c014eec095de6b2415e4fc183c8b4072945cf9bca2aad1fbeb7e41 contrib/vampire-4.2.2.tar.gz (8.0M / 8385610 bytes)9769b3c2efb0d1728d25fa65a0309365ea483ac93d8a651e40527bf20ece09db contrib/windows_app-20181006.tar.gz (15M / 15372703 bytes)4b341614d7386458c9ce7a04f67ccf4cb5e9a5010f1141be1d0abb5f99cb5f69 contrib/xz-java-1.8.tar.gz (187K / 191258 bytes)ed0ac73b8c055a3d7f552864016ec0b23130717f18bbe5090a0d577295e6798c contrib/z3-4.4.0pre-3.tar.gz (15M / 15147273 bytes)