Open Tasks
Open Tasks
Normal (6)
Normal (6)
- Nov 27 2021, 3:30 PM
Low (5)
Low (5)
Wishlist (4)
Wishlist (4)
Active Repositories
Active Repositories
- rISABELLE Isabelle
- Thu, Jun 1, 1:08 PM2023-06-01 13:08:33 (UTC+2)
- Mercurial
Recent Activity
Recent Activity
Yesterday
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
Wed, May 31
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
paulson <lp15@cam.ac.uk> committed rISABELLE8234c42d20e6: NEWS: Announcing the metric space material.
NEWS: Announcing the metric space material
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"
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
provide scala-3.3.0;
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;
Tue, May 30
Tue, May 30
Mon, May 29
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…
Sun, May 28
Sun, May 28
desharna committed rAFPfccdd28b5d84: adapted to Isabelle/84a7a0029c82.
adapted to Isabelle/84a7a0029c82
desharna committed rISABELLE84a7a0029c82: set up code generation for fset.
set up code generation for fset
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.
Sat, May 27
Sat, May 27
clarified treatment of context;
clarified treatment of context;
Fri, May 26
Fri, May 26
desharna committed rISABELLE776f6b85243f: renamed notin_fset to not_fmember.
renamed notin_fset to not_fmember
desharna committed rISABELLE0366e49dab85: adapted Transfer_Debug from fmember to fempty.
adapted Transfer_Debug from fmember to fempty
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
desharna committed rISABELLE0252d635bfb2: redefined FSet.fmember as an abbreviation based on Set.member.
redefined FSet.fmember as an abbreviation based on Set.member
desharna committed rAFP0de1311fe42d: adapted to Isabelle/0252d635bfb2.
adapted to Isabelle/0252d635bfb2
Burkhart Wolff <wolff@lri.fr> committed rAFP380653982dcd: Merge with developper version on LISN gut.
Merge with developper version on LISN gut
Thu, May 25
Thu, May 25
prefer @{attributes} antiquotation over Attrib.internal;