bc60d6e30f5f06cf1d13a2b0b73d5aec5dd70e1862e3afb90a75282d5c9320fb Isabelle2021-1.exe (392M / 410348589 bytes)50ccaf9f724d6f90636c577bb113460248c89f04b2782afd26b95c0538e2e123 Isabelle2021-1_library.tar.gz (131M / 136817893 bytes)4afdd1dd979af0c8cec7e6d7e949711f9c90e560fe55f68e1d0f76b29722619e Isabelle2021-1_linux_arm.tar.gz (430M / 450360580 bytes)315daab84713f9b59e5da0a2c0e9efa6656ef6bc5957b21294088d0727c3ca49 Isabelle2021-1_linux.tar.gz (472M / 494439508 bytes)6cf1ca71345f780890f8ab4032d87e5a4d1e7e0fecacfb510ffa02c777d23458 Isabelle2021-1_macos.tar.gz (635M / 665581573 bytes)3a2603daf3fc8cac86376f261cfc2ba6be7a3c339748cc58149e2cb97279d813 Isabelle2021-1.tar.gz (37M / 38283429 bytes)e0e715e72bc41be1ac4cb1936806ccfe02f6dea51adb43762eddf1d1f12157bf contrib/bash_process-1.2.4-2.tar.gz (62K / 63319 bytes)be274a3b94a865244672943916b0cb3e3e388c6d38f9cfc342e41beb309a08bc contrib/bib2xhtml-20190409.tar.gz (281K / 287429 bytes)5ea41c94f2c56c9815fa10dc7f6f908eaea00e8fd7b7c9b4d0e6bdfd54fed5e3 contrib/csdp-6.1.1.tar.gz (6.1M / 6352545 bytes)6662a1cca463308b4b0407dfc85bdd08b000bfc659dbb37db2c034c271e6a0a3 contrib/cvc4-1.8.tar.gz (24M / 24709162 bytes)1a56cf79fb9603c5de42d82a5d53db3edad93137587cde91f57b98159a9dd6ab contrib/cygwin-20211007.tar.gz (50M / 52343657 bytes)1bf59be0b321e87afa2dec98ca01e1fb2077f01a5c6b3cec7128f599b06ac717 contrib/e-2.6-1.tar.gz (6.6M / 6881174 bytes)1f2e6946220dc5516e0277af32d63099dc7250acf275121fd815dd46dcd3de79 contrib/flatlaf-1.6.4.tar.gz (516K / 527935 bytes)70e42d4e035da9e0ea9f56e637449735bc9451fa03ff14cc0e1256b08fcdb156 contrib/gnu-utils-20211030.tar.gz (609K / 622998 bytes)d99b87152a4d0f2036dc76965154425f6002b5c56e73ca8fe6121ac5bb68ced6 contrib/idea-icons-20210508.tar.gz (1.8M / 1791631 bytes)2ceb8109859efc0d1e1e49118eb625e2727da491b94c508196525572ad6ad950 contrib/Isabelle_app-20210126.tar.gz (7.4K / 7573 bytes)d10fcb8407550f5b69067ba0ef3ffef8b0856a5b26c0ba1513cd68cb3ea7c073 contrib/isabelle_fonts-20211004.tar.gz (3.2M / 3298046 bytes)07f724bbd56c4026ad70f79a08690514869c3d03dee10bf644bd5e934357f165 contrib/isabelle_setup-20211109.tar.gz (24K / 23687 bytes)ba1eb1715399a01f56fff67ca7e2ebb1cfa2423c7b1e916558e7982aeaffa4e3 contrib/jdk-17.0.1+12.tar.gz (917M / 961502478 bytes)5c520fe59503aad0874073160dc86a5f8790364cbb84d7f949207087420269cc contrib/jedit-20211103.tar.gz (11M / 11012009 bytes)dfd527e510bdc62eb6e7666c3da526d920ebdc668573528bbc427e72987011bb contrib/jfreechart-1.5.3.tar.gz (4.6M / 4798037 bytes)cf004d735252dcdc00ff6d3c9b5cc400f56bc8b7eb49ed9a3227f12779639bad contrib/jortho-1.0-2.tar.gz (1.7M / 1723761 bytes)058e48daf2dec59c132678522083dc8afd3c09bcb813c3a11a928d3cef910ea1 contrib/kodkodi-1.5.7.tar.gz (3.5M / 3570780 bytes)e6a2e24a6e8f6acf8259807c0912f9686199b16d0b0aca745909ae94c38a5b0a contrib/minisat-2.2.1-1.tar.gz (3.6M / 3677436 bytes)b828ee079129b34f9c46f52a0c0e435fafd3689ed5d9f7a65b7b3d4034ba321b contrib/nunchaku-0.5.tar.gz (5.4M / 5583019 bytes)1d6862b64e81c45ace9c949d2d8f41a6cb856567c5ab8f582df4b2d6806a236f contrib/opam-2.0.7.tar.gz (8.2M / 8501717 bytes)eeccdaecd7c3231e853c7254adce671f9e285dbf01b661891047e8afe12b0ed5 contrib/polyml-5.9.tar.gz (30M / 30801508 bytes)4add464f9c585bcf82a9d4cc8295e070b96391c728ee2bd394d69b52afc3050f contrib/postgresql-42.2.24.tar.gz (912K / 933030 bytes)199c72da007f2abfa0ec3c23b653152ec946e1609f69cbde2726b32fc00d75e9 contrib/scala-2.13.5.tar.gz (25M / 25550074 bytes)a4e071474f85e1869aa1acfc9ccd4b7e7f43f9c2054cfc6f054a4f4791e1e9ff contrib/smbc-0.4.1.tar.gz (3.3M / 3370801 bytes)64beb5951f9f41407cde80453d79faaf0247da6ff6e4fa89882d967025a4114c contrib/spass-3.8ds-2.tar.gz (2.1M / 2198064 bytes)49823d379f3ae67b03095b8ac82069f3ae6b8fc435e873d938280d921dd2d880 contrib/sqlite-jdbc-3.36.0.3.tar.gz (12M / 12291990 bytes)ab2f851193b4f72d92c79843b88b8f0fcaf3fa221d350e9492dc4b16fb0eec6a contrib/ssh-java-20190323.tar.gz (406K / 414794 bytes)2f4aa1246cda5dab760d89e9af8137f3919078bceebc546928810b4ca1d3b97d contrib/stack-2.7.3.tar.gz (39M / 40067727 bytes)347fc6ab1858cf2c9755edab884ae5f4a66b7a41f1743a05e86edbc0f1a2c600 contrib/sumatra_pdf-3.3.3.tar.gz (6.6M / 6854639 bytes)b60c657cad8094ed830eb4f887a94ea731aa7de3e0d7c47454be6c71ecb7b13c contrib/vampire-4.6.tar.gz (16M / 16766578 bytes)483d061aa0aa920eca68a7b26faf5b14414a343be88edfc1c714664a4ecc0f0f contrib/verit-2021.06.2-rmx.tar.gz (3.6M / 3737611 bytes)9769b3c2efb0d1728d25fa65a0309365ea483ac93d8a651e40527bf20ece09db contrib/windows_app-20181006.tar.gz (15M / 15372703 bytes)0a66a5f7290146cff015b6539cce9a7c5e1f0be402633b14c9e6a98fd1e60cdc contrib/xz-java-1.9.tar.gz (195K / 198717 bytes)5a4b3458e0184a5005352b3350ac1861c89825350e4bb560d69d3a1e745ef208 contrib/z3-4.4.0_4.4.1.tar.gz (21M / 21927851 bytes)cd90af1381d87763b6b6b76ab53f8d51e7bedc99e4b317b04f182b0ef143dae2 contrib/zipperposition-2.1-1.tar.gz (19M / 19506390 bytes)