https://sourceforge.net/p/afp/activity/Recent activity for Archive of Formal ProofsenSun, 31 Jan 2021 19:37:43 -0000https://sourceforge.net/p/afp/devel/ci/d75706d3548ceb9233dd8af3a699fcdbb1fb209b/Updating Jinja from apply-style to Isar-styleSusannah ManskySun, 31 Jan 2021 19:37:43 -0000https://sourceforge.net/p/afp/devel/ci/d75706d3548ceb9233dd8af3a699fcdbb1fb209b/https://sourceforge.net/p/afp/devel/ci/6d1a140d53a02994587ed361aa5a07b476d2b396/Merge from default, esp JinjaDCISusannah ManskySun, 31 Jan 2021 19:37:43 -0000https://sourceforge.net/p/afp/devel/ci/6d1a140d53a02994587ed361aa5a07b476d2b396/https://sourceforge.net/p/afp/devel/ci/5090fd532062da42591c4fc4569b3175dcf60c4e/Updating Jinja from apply-style to Isar-styleSusannah ManskySun, 31 Jan 2021 19:37:43 -0000https://sourceforge.net/p/afp/devel/ci/5090fd532062da42591c4fc4569b3175dcf60c4e/https://sourceforge.net/p/afp/devel/ci/ed4bb4b543ce1eac3fa3b7bc802e2cacfca35c79/Updating Jinja from apply-style to Isar-styleSusannah ManskySun, 31 Jan 2021 19:37:43 -0000https://sourceforge.net/p/afp/devel/ci/ed4bb4b543ce1eac3fa3b7bc802e2cacfca35c79/https://sourceforge.net/p/afp/devel/ci/adb5f30f4f345e859b02af07ce07499db4ccdb9d/integrate RBT_Impl optimizationsmraszykSun, 31 Jan 2021 13:38:13 -0000https://sourceforge.net/p/afp/devel/ci/adb5f30f4f345e859b02af07ce07499db4ccdb9d/https://sourceforge.net/p/afp/devel/ci/6de632d10fd959c1139f1f372935e384e8de3264/hide MB abbreviationAndreas LochbihlerSun, 31 Jan 2021 13:38:13 -0000https://sourceforge.net/p/afp/devel/ci/6de632d10fd959c1139f1f372935e384e8de3264/https://sourceforge.net/p/afp/devel/ci/673d657bb3eb36a1ecfa0d9fb535199fd0ad3f94/Small update to Optics document.Simon FosterWed, 27 Jan 2021 20:38:13 -0000https://sourceforge.net/p/afp/devel/ci/673d657bb3eb36a1ecfa0d9fb535199fd0ad3f94/https://sourceforge.net/p/afp/devel/ci/0274abcc03be0938223b14a0375905a71805350f/MergeSimon FosterWed, 27 Jan 2021 20:38:13 -0000https://sourceforge.net/p/afp/devel/ci/0274abcc03be0938223b14a0375905a71805350f/https://sourceforge.net/p/afp/devel/ci/51acef257c9070a6330c667e3d6163465eb94b57/more generous timeout (25min CPU time);wenzelmWed, 27 Jan 2021 19:38:22 -0000https://sourceforge.net/p/afp/devel/ci/51acef257c9070a6330c667e3d6163465eb94b57/https://sourceforge.net/p/afp/devel/ci/02a4bc4b6ee854e661af638fa1f90124bbb9f406/non-executable files;wenzelmWed, 27 Jan 2021 19:38:22 -0000https://sourceforge.net/p/afp/devel/ci/02a4bc4b6ee854e661af638fa1f90124bbb9f406/https://sourceforge.net/p/afp/devel/ci/db241c4c36c8f702a426b3fe6d37e112996b0aa8/mergedwenzelmWed, 27 Jan 2021 19:38:22 -0000https://sourceforge.net/p/afp/devel/ci/db241c4c36c8f702a426b3fe6d37e112996b0aa8/https://sourceforge.net/p/afp/devel/ci/fa453ac871a2a13f4376b56fbcf8fd31c46ea1e3/Addition of theorems throughout, particularly for prisms.Simon FosterWed, 27 Jan 2021 17:38:19 -0000https://sourceforge.net/p/afp/devel/ci/fa453ac871a2a13f4376b56fbcf8fd31c46ea1e3/https://sourceforge.net/p/afp/devel/ci/5a13e3f6bce8b3cb79089aaab4e431371280bcec/Added metadata for previous commit (Optics).Simon FosterWed, 27 Jan 2021 17:38:19 -0000https://sourceforge.net/p/afp/devel/ci/5a13e3f6bce8b3cb79089aaab4e431371280bcec/https://sourceforge.net/p/afp/devel/ci/2332e6e5e05e58b58ee738b6e33bc0d506b8a75d/sync with l4vGerhard KleinSun, 24 Jan 2021 09:38:17 -0000https://sourceforge.net/p/afp/devel/ci/2332e6e5e05e58b58ee738b6e33bc0d506b8a75d/https://sourceforge.net/p/afp/devel/ci/eb0cc2599588c36e6570404cc52ecebb383328f1/adjustments for Word_Lib updatesGerhard KleinSun, 24 Jan 2021 09:38:17 -0000https://sourceforge.net/p/afp/devel/ci/eb0cc2599588c36e6570404cc52ecebb383328f1/https://sourceforge.net/p/afp/devel/ci/6bb5c735fb187a975b784f62ef0a7431cbcfa9ed/allow instance for natGerhard KleinSun, 24 Jan 2021 07:37:30 -0000https://sourceforge.net/p/afp/devel/ci/6bb5c735fb187a975b784f62ef0a7431cbcfa9ed/https://sourceforge.net/p/afp/devel/ci/f2bc278d8c6eb23342b3bcaf120c58304c6f4e0c/New entry JinjaDCITobias NipkowSun, 24 Jan 2021 02:38:15 -0000https://sourceforge.net/p/afp/devel/ci/f2bc278d8c6eb23342b3bcaf120c58304c6f4e0c/https://sourceforge.net/p/afp/devel/ci/824ba5ec1ce6afe7ba3b4633f56f97bef136cb34/merge from afp-2020Gerhard KleinSun, 24 Jan 2021 02:38:15 -0000https://sourceforge.net/p/afp/devel/ci/824ba5ec1ce6afe7ba3b4633f56f97bef136cb34/https://sourceforge.net/p/afp/devel/ci/3c9f87745f3076cd84532523b7420603e90c51c7/`first` did not have constant time complexityTobias NipkowFri, 22 Jan 2021 09:38:19 -0000https://sourceforge.net/p/afp/devel/ci/3c9f87745f3076cd84532523b7420603e90c51c7/https://sourceforge.net/p/afp/devel/ci/944776fde110d288bc49950a50995f0899fe2f74/Updating Jinja from apply-style to Isar-styleSusannah ManskyFri, 22 Jan 2021 02:38:12 -0000https://sourceforge.net/p/afp/devel/ci/944776fde110d288bc49950a50995f0899fe2f74/https://sourceforge.net/p/afp/devel/ci/c0a61e29529eadf4a616435d62872a6a49c40ccd/Monad_Memo_DP/Optimal_BST move function argminSimon WimmerWed, 20 Jan 2021 18:37:31 -0000https://sourceforge.net/p/afp/devel/ci/c0a61e29529eadf4a616435d62872a6a49c40ccd/https://sourceforge.net/p/afp/devel/ci/3d82fe267f9a91ca7cfd20ec73855e7bdcbcbf46/Monad_Memo_DP add material on BSTsSimon WimmerWed, 20 Jan 2021 18:37:31 -0000https://sourceforge.net/p/afp/devel/ci/3d82fe267f9a91ca7cfd20ec73855e7bdcbcbf46/https://sourceforge.net/p/afp/devel/ci/b9ca92c46cd986cba5ac9457418b3aaa1f216bca/CleaningSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/b9ca92c46cd986cba5ac9457418b3aaa1f216bca/https://sourceforge.net/p/afp/devel/ci/78ceb5a9dbb199754c6a90a23b7c6bc2559d41db/CleanedSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/78ceb5a9dbb199754c6a90a23b7c6bc2559d41db/https://sourceforge.net/p/afp/devel/ci/e69090abc053194d724281cce1ea45f64446c4a4/MergedSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/e69090abc053194d724281cce1ea45f64446c4a4/https://sourceforge.net/p/afp/devel/ci/bd778b1f0c607f604494752f7075dc5a8dfa56ee/CleaningSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/bd778b1f0c607f604494752f7075dc5a8dfa56ee/https://sourceforge.net/p/afp/devel/ci/278bc88810fe304e65e4446edb56f62f78a4a9ed/Only one definition of path and weight functionsSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/278bc88810fe304e65e4446edb56f62f78a4a9ed/https://sourceforge.net/p/afp/devel/ci/e3b9d924eefa49d8b40458cac76e22b9a2ecd224/Improved proof of main correctness theorem for BFSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/e3b9d924eefa49d8b40458cac76e22b9a2ecd224/https://sourceforge.net/p/afp/devel/ci/0eac2d7a263ddef688157de15e7ff99f264ae0a3/Added example and tuned proofSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/0eac2d7a263ddef688157de15e7ff99f264ae0a3/https://sourceforge.net/p/afp/devel/ci/9cebf89c45f7f9c3a6d144733c4c0074333f6c5c/Monad_Memo_DP: clean proof, remove unused thms, clean testsSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/9cebf89c45f7f9c3a6d144733c4c0074333f6c5c/https://sourceforge.net/p/afp/devel/ci/6c027266d53e54d67e8c518adcd11a1ec3f294ca/Fixed guessSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/6c027266d53e54d67e8c518adcd11a1ec3f294ca/https://sourceforge.net/p/afp/devel/ci/67e783e1f268f789e787da16f7f54576098a8d73/Fixed sorriesSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/67e783e1f268f789e787da16f7f54576098a8d73/https://sourceforge.net/p/afp/devel/ci/b9514d50aa5a501dc02d50bf5bf23552e8451193/Simplified proofSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/b9514d50aa5a501dc02d50bf5bf23552e8451193/https://sourceforge.net/p/afp/devel/ci/22a627a8a0e222a0778f2e5675b7d8517571e88d/MergedSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/22a627a8a0e222a0778f2e5675b7d8517571e88d/https://sourceforge.net/p/afp/devel/ci/cddd9b09f0d0b078155082b865db2627f82639fa/Added bellman-ford implementation with detection of negative cyclesSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/cddd9b09f0d0b078155082b865db2627f82639fa/https://sourceforge.net/p/afp/devel/ci/1190a08539dc937ef62a6a4f3ea70e9f156583d7/Make slice abbreviation input onlySimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/1190a08539dc937ef62a6a4f3ea70e9f156583d7/https://sourceforge.net/p/afp/devel/ci/3944d6a35a0008843f863a564d1acd135494bd05/Progress on true shortest pathsSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/3944d6a35a0008843f863a564d1acd135494bd05/https://sourceforge.net/p/afp/devel/ci/1c40d029c4bd214b92ed9bda7e751d7fffeabeed/Cycle detection lemmaSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/1c40d029c4bd214b92ed9bda7e751d7fffeabeed/https://sourceforge.net/p/afp/devel/ci/8c71faeab7b8b337ea0d9f869b9f7bf813136046/Optimal_BST: simplify termination proofsSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/8c71faeab7b8b337ea0d9f869b9f7bf813136046/https://sourceforge.net/p/afp/devel/ci/d0819b6e17c9e51776686866d8e8ee6f4fced38b/Closed sorriesSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/d0819b6e17c9e51776686866d8e8ee6f4fced38b/https://sourceforge.net/p/afp/devel/ci/c5e37942428039f1e2d8203e3d9468132071b92e/Merge updates on dynamic programmingSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/c5e37942428039f1e2d8203e3d9468132071b92e/https://sourceforge.net/p/afp/devel/ci/1171b510ad2a960bc90a11fe468d72ce66b1c9cd/Finished main theorems on Bellman-FordSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/1171b510ad2a960bc90a11fe468d72ce66b1c9cd/https://sourceforge.net/p/afp/devel/ci/daebb0e27b6440c5a2562ee98b3a1a57b7ae653e/Tuned proof automationSimon WimmerWed, 20 Jan 2021 15:39:22 -0000https://sourceforge.net/p/afp/devel/ci/daebb0e27b6440c5a2562ee98b3a1a57b7ae653e/https://sourceforge.net/p/afp/devel/ci/7812e4b5109fe4628af4902cf39f8311e7e4e98a/updated descriptionAkihisa YamadaWed, 20 Jan 2021 02:38:05 -0000https://sourceforge.net/p/afp/devel/ci/7812e4b5109fe4628af4902cf39f8311e7e4e98a/https://sourceforge.net/p/afp/devel/ci/471f6ebae9a4c508dad67a94af4014c86b53f757/Scott continuity not assuming strictnessAkihisa YamadaWed, 20 Jan 2021 02:38:05 -0000https://sourceforge.net/p/afp/devel/ci/471f6ebae9a4c508dad67a94af4014c86b53f757/https://sourceforge.net/p/afp/devel/ci/01c79f4098cd0ba2de3814f99f1b84de077beb23/updating entry for LMCS submissionAkihisa YamadaWed, 20 Jan 2021 01:38:03 -0000https://sourceforge.net/p/afp/devel/ci/01c79f4098cd0ba2de3814f99f1b84de077beb23/https://sourceforge.net/p/afp/devel/ci/a744362b65291f25dbd6525d88026cc049afd336/forgotten commitsAkihisa YamadaWed, 20 Jan 2021 01:38:03 -0000https://sourceforge.net/p/afp/devel/ci/a744362b65291f25dbd6525d88026cc049afd336/https://sourceforge.net/p/afp/devel/ci/c27ff156ee8877c7c853340ddb4bba800e978351/fix(scala): Updated code for 2.13Fabian HuchTue, 19 Jan 2021 15:38:13 -0000https://sourceforge.net/p/afp/devel/ci/c27ff156ee8877c7c853340ddb4bba800e978351/https://sourceforge.net/p/afp/devel/ci/016604dd1cab0b0303f3674f56a8f67541c2c053/tidied a definition and prooflp15Tue, 19 Jan 2021 15:38:13 -0000https://sourceforge.net/p/afp/devel/ci/016604dd1cab0b0303f3674f56a8f67541c2c053/https://sourceforge.net/p/afp/devel/ci/4ae553526864df6c750b5c531508792148de4f87/Mergelp15Tue, 19 Jan 2021 15:38:13 -0000https://sourceforge.net/p/afp/devel/ci/4ae553526864df6c750b5c531508792148de4f87/https://sourceforge.net/p/afp/devel/ci/b4690943adb95712ac39263492ef5d26e927a905/Updated commentAsta Halkjær FromTue, 19 Jan 2021 11:38:06 -0000https://sourceforge.net/p/afp/devel/ci/b4690943adb95712ac39263492ef5d26e927a905/https://sourceforge.net/p/afp/devel/ci/bfb55826ffc0bc4a6e0a2d6f9a638acc78740c4b/New entry Hood_Melville_QueueTobias NipkowMon, 18 Jan 2021 16:38:06 -0000https://sourceforge.net/p/afp/devel/ci/bfb55826ffc0bc4a6e0a2d6f9a638acc78740c4b/https://sourceforge.net/p/afp/devel/ci/7f80012e599826c58aa896418bfc517983994abd/Adapted to 2021-RC2; renamed lemma ccc_Fn_nat -> ccc_Fn_2sterrafMon, 18 Jan 2021 14:38:24 -0000https://sourceforge.net/p/afp/devel/ci/7f80012e599826c58aa896418bfc517983994abd/https://sourceforge.net/p/afp/devel/ci/21348d1ad4c9df3f5dee7ee2e853e24ab286dad3/sync Word_Lib with l4vGerhard KleinSun, 17 Jan 2021 22:38:21 -0000https://sourceforge.net/p/afp/devel/ci/21348d1ad4c9df3f5dee7ee2e853e24ab286dad3/https://sourceforge.net/p/afp/devel/ci/84c055f7b95d76a92191fb4561767cf5202f1195/more explicit proofTobias NipkowSun, 17 Jan 2021 22:38:21 -0000https://sourceforge.net/p/afp/devel/ci/84c055f7b95d76a92191fb4561767cf5202f1195/https://sourceforge.net/p/afp/devel/ci/fabc5f83d7edcb75af976348dca9bec0190a5d3c/mergedTobias NipkowSun, 17 Jan 2021 22:38:21 -0000https://sourceforge.net/p/afp/devel/ci/fabc5f83d7edcb75af976348dca9bec0190a5d3c/https://sourceforge.net/p/afp/devel/ci/4ee343798f76243e73306f85377d1e6c9a9caa6f/adapted to scala-2.13.4;wenzelmSun, 17 Jan 2021 10:38:12 -0000https://sourceforge.net/p/afp/devel/ci/4ee343798f76243e73306f85377d1e6c9a9caa6f/https://sourceforge.net/p/afp/devel/ci/c7606b58bd03aef6bd4ee11fb123acfce0e4de48/removed a terrible default simprulelp15Sat, 16 Jan 2021 17:38:21 -0000https://sourceforge.net/p/afp/devel/ci/c7606b58bd03aef6bd4ee11fb123acfce0e4de48/https://sourceforge.net/p/afp/devel/ci/601908994b5741ff14edce397288dc1ab7d51218/Word_Lib: spellingGerhard KleinFri, 15 Jan 2021 07:38:29 -0000https://sourceforge.net/p/afp/devel/ci/601908994b5741ff14edce397288dc1ab7d51218/https://sourceforge.net/p/afp/devel/ci/f7ada09942bab2b2876d8a54ab3b46c785443771/merge from afp-2020Gerhard KleinTue, 12 Jan 2021 23:38:35 -0000https://sourceforge.net/p/afp/devel/ci/f7ada09942bab2b2876d8a54ab3b46c785443771/https://sourceforge.net/p/afp/devel/ci/dd8e0cdca49e63494d67286461606e613b5a6e1f/sitegen for CSP_RefTKManuel EberlTue, 12 Jan 2021 23:38:35 -0000https://sourceforge.net/p/afp/devel/ci/dd8e0cdca49e63494d67286461606e613b5a6e1f/https://sourceforge.net/p/afp/devel/ci/89ed1831f6cd901f36af8fac13ecfba6750fde4b/New (ZF!) entry Delta_System_Lemmalp15Tue, 12 Jan 2021 23:38:35 -0000https://sourceforge.net/p/afp/devel/ci/89ed1831f6cd901f36af8fac13ecfba6750fde4b/https://sourceforge.net/p/afp/devel/ci/2da14e4d854fef65067007c6a02df1f59a1967e2/webpage for Delta_System_Lemmalp15Tue, 12 Jan 2021 23:38:35 -0000https://sourceforge.net/p/afp/devel/ci/2da14e4d854fef65067007c6a02df1f59a1967e2/https://sourceforge.net/p/afp/devel/ci/626c957d26470af03cd7d173b55cec90bd2dd239/New submission: CSP_RefTKManuel EberlTue, 12 Jan 2021 23:38:35 -0000https://sourceforge.net/p/afp/devel/ci/626c957d26470af03cd7d173b55cec90bd2dd239/https://sourceforge.net/p/afp/devel/ci/a80f4e41ac2b776a605d5f58252c5e93401fd31c/sitegen and metadataRené ThiemannTue, 12 Jan 2021 23:38:35 -0000https://sourceforge.net/p/afp/devel/ci/a80f4e41ac2b776a605d5f58252c5e93401fd31c/https://sourceforge.net/p/afp/devel/ci/52bcf666e8c71fcd7076fff0cafb8755fae7d514/CSP_RefTK: adjust for Isabelle 1105c42722dcGerhard KleinTue, 12 Jan 2021 23:38:35 -0000https://sourceforge.net/p/afp/devel/ci/52bcf666e8c71fcd7076fff0cafb8755fae7d514/https://sourceforge.net/p/afp/devel/ci/85bc7487435c575ba82a3960c7347da3528e566d/new entry: Topological_SemanticsRené ThiemannTue, 12 Jan 2021 23:38:35 -0000https://sourceforge.net/p/afp/devel/ci/85bc7487435c575ba82a3960c7347da3528e566d/https://sourceforge.net/p/afp/devel/ci/03248eeafe63cb92abf9798f9faafd6874360970/Algebraic_Numbers: some material on algebraic integersManuel EberlFri, 08 Jan 2021 21:37:23 -0000https://sourceforge.net/p/afp/devel/ci/03248eeafe63cb92abf9798f9faafd6874360970/https://sourceforge.net/p/afp/devel/ci/0d86fcd673f919d70e698c3be1ad8c46876c5eb8/isabelle update_cartouches;wenzelmFri, 08 Jan 2021 20:37:41 -0000https://sourceforge.net/p/afp/devel/ci/0d86fcd673f919d70e698c3be1ad8c46876c5eb8/https://sourceforge.net/p/afp/devel/ci/77d6721f525da79c6205673bc0b95de5b812e2cc/tuned -- avoid old-style verbatim text;wenzelmFri, 08 Jan 2021 20:37:41 -0000https://sourceforge.net/p/afp/devel/ci/77d6721f525da79c6205673bc0b95de5b812e2cc/https://sourceforge.net/p/afp/devel/ci/37f216da1cab2f6d0365b3c6f571f44f009bace6/mergedwenzelmFri, 08 Jan 2021 20:37:41 -0000https://sourceforge.net/p/afp/devel/ci/37f216da1cab2f6d0365b3c6f571f44f009bace6/https://sourceforge.net/p/afp/devel/ci/7e9db34de4f61de36cbac152d09e55a63beb4389/A bit of tidyinglp15Fri, 08 Jan 2021 19:38:21 -0000https://sourceforge.net/p/afp/devel/ci/7e9db34de4f61de36cbac152d09e55a63beb4389/https://sourceforge.net/p/afp/devel/ci/1a49a0b2203e21391645dc321e683cd4b8981c83/cleanupRené ThiemannFri, 08 Jan 2021 12:38:02 -0000https://sourceforge.net/p/afp/devel/ci/1a49a0b2203e21391645dc321e683cd4b8981c83/https://sourceforge.net/p/afp/devel/ci/29cb2568407d2d2a3282dda4cdccb9f5c7b0b3bd/reformRené ThiemannFri, 08 Jan 2021 12:38:02 -0000https://sourceforge.net/p/afp/devel/ci/29cb2568407d2d2a3282dda4cdccb9f5c7b0b3bd/https://sourceforge.net/p/afp/devel/ci/7661a1e15035ca1a95d5655fddc8ab9055cb537b/moved lemmas such that algebraic numbers theory is not importing factorization algorithmRené ThiemannFri, 08 Jan 2021 12:38:02 -0000https://sourceforge.net/p/afp/devel/ci/7661a1e15035ca1a95d5655fddc8ab9055cb537b/https://sourceforge.net/p/afp/devel/ci/877ead9ac185a45b06ecefb2ec685bde30122860/mergeRené ThiemannFri, 08 Jan 2021 12:38:02 -0000https://sourceforge.net/p/afp/devel/ci/877ead9ac185a45b06ecefb2ec685bde30122860/https://sourceforge.net/p/afp/devel/ci/306f9dbda4f6f011aed4dd44c74a5f56831a2223/proper indentationRené ThiemannFri, 08 Jan 2021 12:38:02 -0000https://sourceforge.net/p/afp/devel/ci/306f9dbda4f6f011aed4dd44c74a5f56831a2223/https://sourceforge.net/p/afp/devel/ci/55b144f95853af1621079960b9dfb99bf6baa9d6/added code-post lemma for algebraic numbersRené ThiemannFri, 08 Jan 2021 12:38:02 -0000https://sourceforge.net/p/afp/devel/ci/55b144f95853af1621079960b9dfb99bf6baa9d6/https://sourceforge.net/p/afp/devel/ci/95ca3e871eb7b97520bb28252b33b9ea16ffacdc/moved lemmasRené ThiemannFri, 08 Jan 2021 12:38:02 -0000https://sourceforge.net/p/afp/devel/ci/95ca3e871eb7b97520bb28252b33b9ea16ffacdc/https://sourceforge.net/p/afp/devel/ci/5d1dd31395764c428e4f196ec1ce89376a3f5cf5/updated benchmark scripts for iFM paperJulian BrunnerFri, 08 Jan 2021 09:38:20 -0000https://sourceforge.net/p/afp/devel/ci/5d1dd31395764c428e4f196ec1ce89376a3f5cf5/https://sourceforge.net/p/afp/devel/ci/d3642bed65b1e0d186fbcbb278d839b1a4b7e393/fix long-running proofJulian BrunnerFri, 08 Jan 2021 09:38:20 -0000https://sourceforge.net/p/afp/devel/ci/d3642bed65b1e0d186fbcbb278d839b1a4b7e393/https://sourceforge.net/p/afp/devel/ci/c1ae04538bfe5123b23ad0b69287f8f1062e10d6/mergedJulian BrunnerFri, 08 Jan 2021 09:38:20 -0000https://sourceforge.net/p/afp/devel/ci/c1ae04538bfe5123b23ad0b69287f8f1062e10d6/https://sourceforge.net/p/afp/devel/ci/5ee9691b6e09273de3cac983acac1dc35132bb6e/Update ConcurrentIMPPeter GammieFri, 08 Jan 2021 04:38:52 -0000https://sourceforge.net/p/afp/devel/ci/5ee9691b6e09273de3cac983acac1dc35132bb6e/https://sourceforge.net/p/afp/devel/ci/f972abc8ec2e3e55ca07c3294728dbc48407d371/Update ConcurrentGCPeter GammieFri, 08 Jan 2021 04:38:52 -0000https://sourceforge.net/p/afp/devel/ci/f972abc8ec2e3e55ca07c3294728dbc48407d371/https://sourceforge.net/p/afp/devel/ci/8bf81decb8ac75d9825e4bef780e4ac78eb78a98/adapted to isabelle-dev/74be162a47cd: added some renamings that were missed beforeManuel EberlTue, 05 Jan 2021 01:38:07 -0000https://sourceforge.net/p/afp/devel/ci/8bf81decb8ac75d9825e4bef780e4ac78eb78a98/https://sourceforge.net/p/afp/devel/ci/dfe83cc412a38644809148c2192243b84429e46f/adapted to isabelle-dev/74be162a47cdManuel EberlMon, 04 Jan 2021 20:38:13 -0000https://sourceforge.net/p/afp/devel/ci/dfe83cc412a38644809148c2192243b84429e46f/https://sourceforge.net/p/afp/devel/ci/824acfe540c7d7d136dd3efdaa75299085d167a4/more standard headers;wenzelmSat, 02 Jan 2021 23:38:33 -0000https://sourceforge.net/p/afp/devel/ci/824acfe540c7d7d136dd3efdaa75299085d167a4/https://sourceforge.net/p/afp/devel/ci/0668d43edb22f34be4cbf8801c3f2890d0f515dd/more standard ML file/module names;wenzelmSat, 02 Jan 2021 23:38:33 -0000https://sourceforge.net/p/afp/devel/ci/0668d43edb22f34be4cbf8801c3f2890d0f515dd/https://sourceforge.net/p/afp/devel/ci/a31f698ef3f84ba6e16b2eeb0950c2439cf0484f/avoid multiple uses of the same ML file;wenzelmSat, 02 Jan 2021 23:38:33 -0000https://sourceforge.net/p/afp/devel/ci/a31f698ef3f84ba6e16b2eeb0950c2439cf0484f/https://sourceforge.net/p/afp/devel/ci/459344fb0c406a9b43c6921d107b561593698567/Isabelle_Meta_Model: avoid multiple use of ML_fileLars HupelThu, 31 Dec 2020 14:38:14 -0000https://sourceforge.net/p/afp/devel/ci/459344fb0c406a9b43c6921d107b561593698567/https://sourceforge.net/p/afp/devel/ci/0327fb7d33528833b82ff7242fc8e8fe37892f75/ensure that at least an empty report file existsLars HupelThu, 31 Dec 2020 09:38:07 -0000https://sourceforge.net/p/afp/devel/ci/0327fb7d33528833b82ff7242fc8e8fe37892f75/https://sourceforge.net/p/afp/devel/ci/0c0f257837585481771276e2d8bc95fb2e4ecf7b/delete report file if already existsLars HupelWed, 30 Dec 2020 15:38:21 -0000https://sourceforge.net/p/afp/devel/ci/0c0f257837585481771276e2d8bc95fb2e4ecf7b/https://sourceforge.net/p/afp/devel/ci/7b26d4cc3c170b7abb8d553a4196a11e495f3847/A few tweakslp15Sat, 26 Dec 2020 12:38:10 -0000https://sourceforge.net/p/afp/devel/ci/7b26d4cc3c170b7abb8d553a4196a11e495f3847/https://sourceforge.net/p/afp/devel/ci/99c2ec098082980a881e89c168fe2c65549b60af/tidying uplp15Fri, 25 Dec 2020 21:38:09 -0000https://sourceforge.net/p/afp/devel/ci/99c2ec098082980a881e89c168fe2c65549b60af/https://sourceforge.net/p/afp/devel/ci/222edcd0eb44b62bf8c3e9a6e0e5f1e6712bc964/A little more tidying uplp15Thu, 24 Dec 2020 21:37:25 -0000https://sourceforge.net/p/afp/devel/ci/222edcd0eb44b62bf8c3e9a6e0e5f1e6712bc964/https://sourceforge.net/p/afp/devel/ci/1e53550fa67e8becd6ff89869f883bc8c0b4b306/more on "summable"lp15Thu, 24 Dec 2020 16:38:09 -0000https://sourceforge.net/p/afp/devel/ci/1e53550fa67e8becd6ff89869f883bc8c0b4b306/https://sourceforge.net/p/afp/devel/ci/c541be98de9c3f2c823f330b4f23ce153098c3db/adapted to Isabelle/b1be35908165;wenzelmWed, 23 Dec 2020 23:38:16 -0000https://sourceforge.net/p/afp/devel/ci/c541be98de9c3f2c823f330b4f23ce153098c3db/https://sourceforge.net/p/afp/devel/ci/2bccd7c8634c6747e88c5f26e991b76894ff72ca/clarified defaults: disabled in "isabelle build";wenzelmWed, 23 Dec 2020 23:38:16 -0000https://sourceforge.net/p/afp/devel/ci/2bccd7c8634c6747e88c5f26e991b76894ff72ca/https://sourceforge.net/p/afp/devel/ci/a34480eef2a77c451bec920c6c79d98607dc6b28/tuned whitespace;wenzelmWed, 23 Dec 2020 23:38:16 -0000https://sourceforge.net/p/afp/devel/ci/a34480eef2a77c451bec920c6c79d98607dc6b28/https://sourceforge.net/p/afp/devel/ci/7684b36a162ab03565af775f90e277fb5ea69b53/mergedwenzelmWed, 23 Dec 2020 23:38:16 -0000https://sourceforge.net/p/afp/devel/ci/7684b36a162ab03565af775f90e277fb5ea69b53/