Page MenuHomeIsabelle/Phabricator

Open Tasks
View All

Normal (6)

Low (5)

Wishlist (4)

Active Repositories
View All

Recent Activity
View All

Today

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

Yesterday

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
makarius committed rISABELLE47f671888a37: tuned;.
tuned;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLE05cec0a3c63d: clarified modules and options (from store);.
clarified modules and options (from store);
Tue, Apr 16, 5:53 PM
makarius committed rISABELLE370ebda8bd86: clarified signature;.
clarified signature;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLE0323cd9fcab9: clarified signature;.
clarified signature;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLE61b8f6ac6860: tuned signature;.
tuned signature;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLEd510a1cf9965: tuned;.
tuned;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLEc188068e41f1: tuned;.
tuned;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLEd4d9a7887b2a: tuned signature;.
tuned signature;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLE4b95a1d8b2c9: tuned;.
tuned;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLEc729b1d58982: more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);.
more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);
Tue, Apr 16, 5:53 PM
makarius committed rISABELLEf4d3e3915228: tuned messages;.
tuned messages;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLEdbcd6dc7f70f: back to static numa_nodes (reverting part of c2c59de57df9);.
back to static numa_nodes (reverting part of c2c59de57df9);
Tue, Apr 16, 5:53 PM
makarius committed rISABELLE2ac132ee8bf1: tuned;.
tuned;
Tue, Apr 16, 5:53 PM
makarius committed rISABELLE6ec65767d7bd: tuned messages;.
tuned messages;
Tue, Apr 16, 5:53 PM
pruvisto committed rISABELLE247751d25102: canonical time function for List.nth.
canonical time function for List.nth
Tue, Apr 16, 1:30 PM

Mon, Apr 15

paulson committed rISABELLE693d4e6cc5b8: merged.
merged
Mon, Apr 15, 11:25 PM
paulson <lp15@cam.ac.uk> committed rISABELLE2fa018321400: Streamlining of many more archaic proofs.
Streamlining of many more archaic proofs
Mon, Apr 15, 11:25 PM