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
- Mon, May 23, 6:21 PM2022-05-23 18:21:57 (UTC+2)
- Mercurial
Recent Activity
Recent Activity
Yesterday
Yesterday
paulson <lp15@cam.ac.uk> committed rISABELLE4c3bc0d2568f: Eliminated two unnecessary inductions.
Eliminated two unnecessary inductions
paulson <lp15@cam.ac.uk> committed rAFP9831a6481d33: Tiny simplifications.
Tiny simplifications
desharna committed rISABELLEec4b514bcfad: added lemma image_mset_filter_mset_swap.
added lemma image_mset_filter_mset_swap
desharna committed rISABELLEcbf011677235: added lemmas filter_mset_cong{0,}.
added lemmas filter_mset_cong{0,}
Sun, May 22
Sun, May 22
florian.haftmann committed rISABELLE160c9c18a707: »nil« seems to be a reserved constructor word in PolyML.
»nil« seems to be a reserved constructor word in PolyML
Wed, May 18
Wed, May 18
paulson <lp15@cam.ac.uk> committed rAFPd859db6acb75: A tiny bit of reorganisation.
A tiny bit of reorganisation
paulson <lp15@cam.ac.uk> committed rISABELLE91c16c5ad3e9: tidied auto / simp with null arguments.
tidied auto / simp with null arguments
Tue, May 17
Tue, May 17
paulson <lp15@cam.ac.uk> committed rAFP3149eae9c077: the last "simp/auto" problems.
the last "simp/auto" problems
paulson <lp15@cam.ac.uk> committed rAFP58359778acff: corrected all "bysimp".
corrected all "bysimp"
paulson <lp15@cam.ac.uk> committed rAFP1668bf4eba40: Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/So….
Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/So…
paulson <lp15@cam.ac.uk> committed rAFPef2cf009504d: Tidied auto/simp with null arguments.
Tidied auto/simp with null arguments
nipkow committed rAFP3ec6dc59412e: comleted single loop refinement.
comleted single loop refinement
Mon, May 16
Mon, May 16
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP613d8d8fb067: minor adjustments.
minor adjustments
user9716869 <user9716869@gmail.com> committed rAFPda39b5964de3: metadata.
metadata
user9716869 <user9716869@gmail.com> committed rAFPb4f4acb4ee94: minor amendments.
minor amendments
user9716869 <user9716869@gmail.com> committed rAFP68412a363595: creation and preservation of limits; a variety of auxiliary results and….
creation and preservation of limits; a variety of auxiliary results and…
Fri, May 13
Fri, May 13
Fabian Huch <huch@in.tum.de> committed rAFP00c034528a4a: clarified formatting, for the sake of scala3;.
clarified formatting, for the sake of scala3;
Fabian Huch <huch@in.tum.de> committed rAFPfbafb44dc503: hugo site: better scrolling;.
hugo site: better scrolling;
Thu, May 12
Thu, May 12
paulson <lp15@cam.ac.uk> committed rAFPa3f22844a82d: patched a broken proof.
patched a broken proof
nipkow committed rAFP8bcb5f82bf5b: single lopp variant refined to lists..
single lopp variant refined to lists.
Wed, May 11
Wed, May 11
provide Isabelle/Electron test;
Tue, May 10
Tue, May 10
paulson <lp15@cam.ac.uk> committed rAFPd7801c6a5adf: sitegen for Digit_Expansions.
sitegen for Digit_Expansions
adjust for isabelle@7095df141819
paulson <lp15@cam.ac.uk> committed rAFP143b4d24fbba: New entry Digit_Expansions.
New entry Digit_Expansions
paulson <lp15@cam.ac.uk> committed rAFPb11ab6e691fc: finally!!!! Sitegen for Sophomore's Dream.
finally!!!! Sitegen for Sophomore's Dream
paulson <lp15@cam.ac.uk> committed rAFP374cb39d1be9: Updating the version of Jinja2, as suggested by Manuel.
Updating the version of Jinja2, as suggested by Manuel
paulson <lp15@cam.ac.uk> committed rAFP29dee38f86fa: Minor corrections to metadata (no "and" between authors' names).
Minor corrections to metadata (no "and" between authors' names)
paulson <lp15@cam.ac.uk> committed rAFPee785c9dce1a: new entry Sophomores_Dream.
new entry Sophomores_Dream