Page MenuHomeIsabelle/Phabricator

Open Tasks
View All

Normal (6)

Low (5)

Wishlist (4)

Active Repositories
View All

Recent Activity
View All

Today

Emin Karayel <me@eminkarayel.de> committed rAFP716e68f04275: Universal_Hash_Families: Remove obsolete code..
Universal_Hash_Families: Remove obsolete code.
Sat, Apr 20, 2:47 AM
Emin Karayel <me@eminkarayel.de> committed rAFP6e02e9bc874d: Frequency_Moments, Distributed_Distinct_Elements: Remove obsolete code..
Frequency_Moments, Distributed_Distinct_Elements: Remove obsolete code.
Sat, Apr 20, 1:59 AM
Emin Karayel <me@eminkarayel.de> committed rAFP1b546d918c0c: Finite_Fields, Universal_Hash_Families, Concentration_Inequalities: Add various….
Finite_Fields, Universal_Hash_Families, Concentration_Inequalities: Add various…
Sat, Apr 20, 1:08 AM

Yesterday

paulson committed rAFP672eb4689f1a: merged.
merged
Fri, Apr 19, 7:03 PM
paulson <lp15@cam.ac.uk> committed rAFP8bc05281a185: Exchanged the while-loop and tail-recursive versions of the definitions.
Exchanged the while-loop and tail-recursive versions of the definitions
Fri, Apr 19, 7:03 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP2548b08bc3c4: merge from AFP 2023.
merge from AFP 2023
Fri, Apr 19, 1:31 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP3f3f3b9278b9: merge.
merge
Fri, Apr 19, 1:31 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP00fb7d6558e5: metadata and sitegen for MFOTL_Checker.
metadata and sitegen for MFOTL_Checker
Fri, Apr 19, 1:31 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP25dbc1e991c8: rerun sitegen after merge from AFP 2023.
rerun sitegen after merge from AFP 2023
Fri, Apr 19, 1:31 PM
nipkow committed rAFPdbe1aa3fe16e: New entry: ConcurrentHOL.
New entry: ConcurrentHOL
Fri, Apr 19, 1:31 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPcda88c9fcbf9: new entry: MFOTL_Checker.
new entry: MFOTL_Checker
Fri, Apr 19, 1:31 PM
paulson <lp15@cam.ac.uk> committed rAFP5492883fb017: Uncertainty_Principle sitegen.
Uncertainty_Principle sitegen
Fri, Apr 19, 1:31 PM
paulson <lp15@cam.ac.uk> committed rAFP4ecda9e9f43b: New entry /Users/lp15/.isabelle/Isabelle2023/browser_info/AFP/Uncertainty_Princ….
New entry /Users/lp15/.isabelle/Isabelle2023/browser_info/AFP/Uncertainty_Princ…
Fri, Apr 19, 1:31 PM
traytel committed rAFP51fb7da70175: sitegen for Broadcast_Psi.
sitegen for Broadcast_Psi
Fri, Apr 19, 1:31 PM
traytel committed rAFP31ea85757858: new entry Broadcast_Psi.
new entry Broadcast_Psi
Fri, Apr 19, 1:31 PM
paulson <lp15@cam.ac.uk> committed rAFP105bd5da5e7e: Updated KnuthMorrisPratt to include new definitions by Christian Zimmerer using….
Updated KnuthMorrisPratt to include new definitions by Christian Zimmerer using…
Fri, Apr 19, 1:12 PM
paulson committed rAFPac2384b8b86d: merged.
merged
Fri, Apr 19, 1:12 PM
Ata Keskin <ata.keskin@tum.de> committed rAFPdb43b58419ea: Removed unnecessary theory file 'Doob_Convergence.thy'.
Removed unnecessary theory file 'Doob_Convergence.thy'
Fri, Apr 19, 1:50 AM
Ata Keskin <ata.keskin@tum.de> committed rAFP59321c4a59e5: Updated Doob_Convergence to use the newest version of Martingales.
Updated Doob_Convergence to use the newest version of Martingales
Fri, Apr 19, 1:43 AM

Thu, Apr 18

Simon Wimmer <wimmers@in.tum.de> committed rISABELLE0c51e0a6bc37: sketch & explore: recover from duplicate fixed variables in Isar proofs.
sketch & explore: recover from duplicate fixed variables in Isar proofs
Thu, Apr 18, 5:53 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
Thu, Apr 18, 4:44 PM · isabelle-release
makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
Thu, Apr 18, 4:35 PM · isabelle-release
makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
Thu, Apr 18, 3:53 PM · isabelle-release
makarius committed rISABELLE12ce957231e0: back to post-release mode -- after fork point;.
back to post-release mode -- after fork point;
Thu, Apr 18, 3:29 PM
makarius committed rISABELLEe07f29df1c67: Added tag Isabelle2024-RC2 for changeset ef2134570abb.
Added tag Isabelle2024-RC2 for changeset ef2134570abb
Thu, Apr 18, 3:29 PM
makarius committed rISABELLEbc450c8754ef: merged.
merged
Thu, Apr 18, 3:29 PM
paulson <lp15@cam.ac.uk> committed rISABELLEe414bcc5a39e: Acknowledgement of Ata Keskin for his Martingales material.
Acknowledgement of Ata Keskin for his Martingales material
Thu, Apr 18, 2:08 PM
desharna committed rAFPd8aa8cc91178: added equivalence of concepts between First_Order_Terms.Position and HOL….
added equivalence of concepts between First_Order_Terms.Position and HOL…
Thu, Apr 18, 8:55 AM

Wed, Apr 17

makarius committed rISABELLEef2134570abb: merged.
merged
Wed, Apr 17, 11:45 PM
makarius committed rISABELLE68fc6839679e: update to jdk-21.0.3;.
update to jdk-21.0.3;
Wed, Apr 17, 11:45 PM
paulson committed rISABELLE8262d4f63b58: merged.
merged
Wed, Apr 17, 11:11 PM
paulson <lp15@cam.ac.uk> committed rISABELLE601ff5c7cad5: Tidied up horrible archaic proofs.
Tidied up horrible archaic proofs
Wed, Apr 17, 11:11 PM
makarius committed rISABELLE2fe244c4bb01: clarified signature;.
clarified signature;
Wed, Apr 17, 9:47 PM
kappelmann committed rISABELLE39f9084a9668: make adhoc_overloading respect type constraints.
make adhoc_overloading respect type constraints
Wed, Apr 17, 3:05 PM
desharna committed rAFP900cfb1adad1: added lemmas inj_on_Fun_fun[simp], inj_on_Fun_args[simp], and inj_on_Fun[simp].
added lemmas inj_on_Fun_fun[simp], inj_on_Fun_args[simp], and inj_on_Fun[simp]
Wed, Apr 17, 2:34 PM

Tue, Apr 16

makarius committed rISABELLEb73df63e0f52: merged.
merged
Tue, Apr 16, 5:53 PM
makarius committed rISABELLE761bd2b35217: tuned;.
tuned;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLE455ddb251ece: clarified signature;.
clarified signature;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLE7e4c3bb3d062: minor performance tuning: avoid redundant server access;.
minor performance tuning: avoid redundant server access;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLE66d7a923b750: tuned;.
tuned;
Tue, Apr 16, 5:53 PM