210bbaac56c2c7ee456214e3e76939e100fc38c636cbcc4b48e10c6e110cdd1c Isabelle2021.exe (393M / 411324813 bytes)603af97f6dd18cde5d3b72a3b6db6adf7f05cccf4dcc83804fd7cf43cc5c80c3 Isabelle2021_library.tar.gz (469M / 491104712 bytes)5d7811a658c43448456de1cb61e3bc27b93ac3ef2f3dc51a1aa6244c78624fc7 Isabelle2021_linux.tar.gz (462M / 483561674 bytes)3540cb7e21128696972a0c44f12d39b548cc85f49458ef19f3dddfaaa7a858b0 Isabelle2021_macos.tar.gz (613M / 641861247 bytes)c8122fc18a2b27ea0040f70b5189780dade6ed668eda27a3e8fc680cbed42cda Isabelle2021.tar.gz (49M / 51044757 bytes)ee2d64d0313216898f380b24beaca5bc90e519ec45987adb510ca86f558a22e2 contrib/bash_process-1.2.3-1.tar.gz (63K / 63978 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)82d8d8040cb236cc9a1951cd1a1cadb22c10043046c179483ff9bc7012d7a91f contrib/cygwin-20201130.tar.gz (61M / 63324039 bytes)90eba4abdcb8d3e33e0647b06e5a2fa4ae390b737a9fbad5b0557b41894e3133 contrib/e-2.5-1.tar.gz (6.3M / 6565005 bytes)d9fccbdee328238f8e808f3cf21ef423e04dd1711488bc686dbcb1334de3c635 contrib/flatlaf-1.0.tar.gz (455K / 465806 bytes)2ceb8109859efc0d1e1e49118eb625e2727da491b94c508196525572ad6ad950 contrib/Isabelle_app-20210126.tar.gz (7.4K / 7573 bytes)bc2a87caebe5b27008012e7598dac088995fa902d68deca15fd7d13ecbcfea1a contrib/isabelle_fonts-20190717.tar.gz (3.1M / 3174665 bytes)084bf0f4883197bc4ea267db4c997c663df08bfea0d0f8e64d4e1813f0e2f34a contrib/jdk-15.0.2+7.tar.gz (938M / 983016086 bytes)af0e3edd69feb310fc8d7b6fcd5e847a2460fdf1edccb9c1818e721157a6d1a9 contrib/jfreechart-1.5.1.tar.gz (4.7M / 4921955 bytes)cf004d735252dcdc00ff6d3c9b5cc400f56bc8b7eb49ed9a3227f12779639bad contrib/jortho-1.0-2.tar.gz (1.7M / 1723761 bytes)0da24fd42f4abe253316220bd70d5f9012bdc92dd49f211181bf4361d16e7442 contrib/kodkodi-1.5.6.tar.gz (3.5M / 3572750 bytes)b828ee079129b34f9c46f52a0c0e435fafd3689ed5d9f7a65b7b3d4034ba321b contrib/nunchaku-0.5.tar.gz (5.4M / 5583019 bytes)1d6862b64e81c45ace9c949d2d8f41a6cb856567c5ab8f582df4b2d6806a236f contrib/opam-2.0.7.tar.gz (8.2M / 8501717 bytes)8f53f4e56c7195aadf39dfa7d2ae9d44b100149f5d43d7d9e0783eccefb63027 contrib/polyml-test-f86ae3dc1686.tar.gz (32M / 32544224 bytes)c6dcfc880754feb3486af4d6e636aa1c462f17b1a6e4f8d43d0e78194793d6dd contrib/postgresql-42.2.18.tar.gz (910K / 931520 bytes)6480cdf8e743eb896619bba31e8a86d2ed07b78f610a23dfffe1d3395fd02598 contrib/scala-2.13.4-1.tar.gz (25M / 25451888 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)7c720f30ccdbb0044fff71c6adc62c8eebce1f3e32a9a94eaebb0078804c697c contrib/sqlite-jdbc-3.34.0.tar.gz (9.4M / 9815452 bytes)ab2f851193b4f72d92c79843b88b8f0fcaf3fa221d350e9492dc4b16fb0eec6a contrib/ssh-java-20190323.tar.gz (406K / 414794 bytes)db887680d44b972e0cadedc61281de91171908b035cd80cb99b925561ca92d90 contrib/stack-2.5.1.tar.gz (37M / 38533894 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)b51ec2092ded94a22c363b676321b30260a27e527eb776444d42c3ef13e33075 contrib/verit-2020.10-rmx-1.tar.gz (3.5M / 3574432 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)00936f75d9086c457c4a8ed32c6f15c002d747b771e5256a6784d36b8e875ad6 contrib/zipperposition-2.0-1.tar.gz (11M / 11505468 bytes)