Page MenuHomeIsabelle/Phabricator

Open Tasks
View All

Normal (6)

Low (5)

Wishlist (4)

Active Repositories
View All

Recent Activity
View All

Yesterday

makarius committed rISABELLE96f60533ec1d: update Windows test machines;.
update Windows test machines;
Fri, Apr 26, 1:28 PM

Thu, Apr 25

makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
Thu, Apr 25, 5:01 PM · isabelle-release

Wed, Apr 24

paulson <lp15@cam.ac.uk> committed rISABELLE40a3fc07a587: More tidying of proofs.
More tidying of proofs
Wed, Apr 24, 9:57 PM
makarius committed rAFPecd8c892f11e: tuned proofs: make it work on Windows;.
tuned proofs: make it work on Windows;
Wed, Apr 24, 2:18 PM
makarius committed rAFPf79070b39fe2: proper platform_path for Windows;.
proper platform_path for Windows;
Wed, Apr 24, 2:06 PM
makarius committed rAFP29314eac2682: more robust and more portable, notably for Windows;.
more robust and more portable, notably for Windows;
Wed, Apr 24, 1:42 PM
paulson <lp15@cam.ac.uk> committed rISABELLEb156869b826a: Another Nominal example.
Another Nominal example
Wed, Apr 24, 10:22 AM
paulson <lp15@cam.ac.uk> committed rISABELLEcf11a7f0a5f0: Tidying up another Nominal example (SOS).
Tidying up another Nominal example (SOS)
Wed, Apr 24, 10:22 AM
paulson committed rISABELLE8e168a3d2a23: merged.
merged
Wed, Apr 24, 10:22 AM

Tue, Apr 23

Achim D. Brucker <adbrucker@0x5f.org> committed rAFP0e05592c7e5e: Removed obsolete LaTeX commands..
Removed obsolete LaTeX commands.
Tue, Apr 23, 10:46 PM
makarius committed rISABELLE0eff7d113549: update Windows build host;.
update Windows build host;
Tue, Apr 23, 3:57 PM
makarius committed rISABELLEcfe18c31725c: proper command-line;.
proper command-line;
Tue, Apr 23, 3:57 PM
paulson <lp15@cam.ac.uk> committed rISABELLE378593bf5109: Tidying up another of the nominal examples.
Tidying up another of the nominal examples
Tue, Apr 23, 11:26 AM

Mon, Apr 22

paulson <lp15@cam.ac.uk> committed rISABELLE34e0ddfc6dcc: More tidying of Nominal proofs.
More tidying of Nominal proofs
Mon, Apr 22, 11:08 PM
nipkow committed rAFPa23e9762512e: added contributor.
added contributor
Mon, Apr 22, 3:01 PM
paulson <lp15@cam.ac.uk> committed rISABELLE022a9c26b14f: Tidied up another messy theory.
Tidied up another messy theory
Mon, Apr 22, 11:45 AM

Sun, Apr 21

paulson <lp15@cam.ac.uk> committed rISABELLE6d56e85f674e: More proof tidying for Nominal.
More proof tidying for Nominal
Sun, Apr 21, 5:32 PM
kappelmann committed rAFP3133b6848037: merged.
merged
Sun, Apr 21, 12:37 PM
kappelmann committed rAFP2a6196e5b347: feat(Transport) add simpler function type introduction rule for extend.
feat(Transport) add simpler function type introduction rule for extend
Sun, Apr 21, 12:37 PM
kappelmann committed rAFP237996782d80: feat(Transport) functions as binary relations, improved mono notation, make non….
feat(Transport) functions as binary relations, improved mono notation, make non…
Sun, Apr 21, 12:37 PM
kappelmann committed rAFPfe57a84f565f: feat(ML_Unificaiton) repeated resolution tactics, tactics now proving theorems….
feat(ML_Unificaiton) repeated resolution tactics, tactics now proving theorems…
Sun, Apr 21, 12:37 PM
Michikazu Hirata <hirata.m.ac@m.titech.ac.jp> committed rAFPf3289a39d4bf: updated:Standard Borel Spaces.
updated:Standard Borel Spaces
Sun, Apr 21, 2:25 AM
paulson <lp15@cam.ac.uk> committed rISABELLEfec5a23017b5: Tidying up more messy proofs.
Tidying up more messy proofs
Sun, Apr 21, 12:03 AM

Sat, Apr 20

Dominique Unruh <hg.yse9he@rwth.unruh.de> committed rAFP22721115789f: Miscellaneous changes to Complex_Bounded_Operators..
Miscellaneous changes to Complex_Bounded_Operators.
Sat, Apr 20, 11:30 PM
paulson <lp15@cam.ac.uk> committed rISABELLEa30a1385f7d0: Starting to tidy HOL-Nominal-Examples.
Starting to tidy HOL-Nominal-Examples
Sat, Apr 20, 1:09 PM
Emin Karayel <me@eminkarayel.de> committed rAFPe3e5ef410780: Frequency_Moments: Add tutorial on pseudorandom objects..
Frequency_Moments: Add tutorial on pseudorandom objects.
Sat, Apr 20, 7:23 AM
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

Fri, Apr 19

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