Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Yesterday

paulson <lp15@cam.ac.uk> committed rISABELLE1cadc477f644: Even more material from the HOL Light metric space library.
Even more material from the HOL Light metric space library
Thu, Jun 1, 5:40 PM

Wed, May 31

paulson <lp15@cam.ac.uk> committed rAFPa0663cd726cc: Adjustments for the simplified version of real_le_lsqrt.
Adjustments for the simplified version of real_le_lsqrt
Wed, May 31, 12:39 PM
paulson committed rISABELLEacf27e8352d2: merged.
merged
Wed, May 31, 12:28 PM
paulson <lp15@cam.ac.uk> committed rISABELLE8234c42d20e6: NEWS: Announcing the metric space material.
NEWS: Announcing the metric space material
Wed, May 31, 12:28 PM
paulson <lp15@cam.ac.uk> committed rISABELLE3d2db8057b9f: Hiding the constructor names, particularly to avoid conflicts involving "ext".
Hiding the constructor names, particularly to avoid conflicts involving "ext"
Wed, May 31, 12:28 PM
paulson <lp15@cam.ac.uk> committed rISABELLE24b70433c2e8: New HOL Light material on metric spaces and topological spaces.
New HOL Light material on metric spaces and topological spaces
Wed, May 31, 12:28 PM
makarius committed rISABELLE96e2c2bbacbd: provide scala-3.3.0;.
provide scala-3.3.0;
Wed, May 31, 11:41 AM
makarius committed rISABELLE163e4835a8db: enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML;.
enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML;
Wed, May 31, 11:41 AM
makarius committed rISABELLE26b31f402948: tuned NEWS;.
tuned NEWS;
Wed, May 31, 11:41 AM
makarius committed rISABELLE9609085da969: more NEWS;.
more NEWS;
Wed, May 31, 11:41 AM

Tue, May 30

makarius created Blog Post: Significantly reduced ML heap usage.
Tue, May 30, 12:18 PM
makarius committed rISABELLEf3d19c8445ec: NEWS;.
NEWS;
Tue, May 30, 12:08 PM

Mon, May 29

desharna committed rISABELLEe72884b2da04: removed intro, desc, elim, and simp annotations from FSet lemmas that are….
removed intro, desc, elim, and simp annotations from FSet lemmas that are…
Mon, May 29, 11:21 AM

Sun, May 28

desharna committed rAFPfccdd28b5d84: adapted to Isabelle/84a7a0029c82.
adapted to Isabelle/84a7a0029c82
Sun, May 28, 12:28 AM
desharna committed rISABELLEa8e5cefeb3ab: merged.
merged
Sun, May 28, 12:25 AM
desharna committed rISABELLE84a7a0029c82: set up code generation for fset.
set up code generation for fset
Sun, May 28, 12:25 AM
desharna committed rISABELLE6f43068a71d1: NEWS.
NEWS
Sun, May 28, 12:25 AM
desharna committed rISABELLE7735645667f0: redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set..
redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.
Sun, May 28, 12:25 AM

Sat, May 27

makarius committed rISABELLEcc17e2f0f1fc: merged.
merged
Sat, May 27, 7:11 PM
makarius committed rISABELLEf360ee6ce670: tuned signature;.
tuned signature;
Sat, May 27, 7:11 PM
makarius committed rISABELLE43154a48da69: clarified treatment of context;.
clarified treatment of context;
Sat, May 27, 7:11 PM
makarius committed rISABELLEb14421dc6759: clarified treatment of context;.
clarified treatment of context;
Sat, May 27, 7:11 PM
makarius committed rISABELLE10487f6571bc: more operations;.
more operations;
Sat, May 27, 7:11 PM

Fri, May 26

desharna committed rISABELLEa6989a7d192a: NEWS.
NEWS
Fri, May 26, 12:19 PM
desharna committed rISABELLE5c6db3d1b602: added author.
added author
Fri, May 26, 12:19 PM
desharna committed rISABELLE776f6b85243f: renamed notin_fset to not_fmember.
renamed notin_fset to not_fmember
Fri, May 26, 12:19 PM
desharna committed rISABELLE250785900816: merged.
merged
Fri, May 26, 12:19 PM
desharna committed rISABELLE0366e49dab85: adapted Transfer_Debug from fmember to fempty.
adapted Transfer_Debug from fmember to fempty
Fri, May 26, 12:19 PM
desharna committed rISABELLE6fe9cdf547c4: renamed variables.
renamed variables
Fri, May 26, 12:19 PM
desharna committed rISABELLE8122e865687e: fixed lemma name.
fixed lemma name
Fri, May 26, 12:19 PM
desharna committed rISABELLEab8310c0e6d9: merged.
merged
Fri, May 26, 12:19 PM
desharna committed rISABELLEf40bc75b2a3f: replaced some lemmas' implicit formulas by explicit ones to avoid silent changes.
replaced some lemmas' implicit formulas by explicit ones to avoid silent changes
Fri, May 26, 12:19 PM
desharna committed rISABELLE0252d635bfb2: redefined FSet.fmember as an abbreviation based on Set.member.
redefined FSet.fmember as an abbreviation based on Set.member
Fri, May 26, 12:19 PM
desharna committed rAFPd34609a6a678: merged.
merged
Fri, May 26, 12:18 PM
desharna committed rAFP0de1311fe42d: adapted to Isabelle/0252d635bfb2.
adapted to Isabelle/0252d635bfb2
Fri, May 26, 12:18 PM
Burkhart Wolff <wolff@lri.fr> committed rAFP1a9a11b80670: merge.
merge
Fri, May 26, 6:46 AM
Burkhart Wolff <wolff@lri.fr> committed rAFP380653982dcd: Merge with developper version on LISN gut.
Merge with developper version on LISN gut
Fri, May 26, 6:46 AM
Burkhart Wolff <wolff@lri.fr> committed rAFP9579af7ca295: merge.
merge
Fri, May 26, 6:46 AM

Thu, May 25

makarius committed rAFPae5dec7716f4: prefer @{attributes} antiquotation over Attrib.internal;.
prefer @{attributes} antiquotation over Attrib.internal;
Thu, May 25, 8:21 PM
makarius committed rAFP91c7c75dea9e: merged.
merged
Thu, May 25, 8:21 PM