Page MenuHomeIsabelle/Phabricator

Open Tasks
View All

Normal (6)

Low (5)

Wishlist (4)

Active Repositories
View All

Recent Activity
View All

Today

paulson <lp15@cam.ac.uk> committed rAFPd54d7aa85968: fixes for compatibility with renamed / new lemmas.
fixes for compatibility with renamed / new lemmas
Wed, May 25, 12:01 PM
paulson <lp15@cam.ac.uk> committed rISABELLE8e2285baadba: qualified name to fix integrable_cong ambiguity.
qualified name to fix integrable_cong ambiguity
Wed, May 25, 11:58 AM
paulson <lp15@cam.ac.uk> committed rISABELLE7448423e5dba: Renamed the misleading has_field_derivative_iff_has_vector_derivative. Inserted….
Renamed the misleading has_field_derivative_iff_has_vector_derivative. Inserted…
Wed, May 25, 11:58 AM

Mon, May 23

paulson <lp15@cam.ac.uk> committed rISABELLE4c3bc0d2568f: Eliminated two unnecessary inductions.
Eliminated two unnecessary inductions
Mon, May 23, 6:22 PM
paulson <lp15@cam.ac.uk> committed rAFP9831a6481d33: Tiny simplifications.
Tiny simplifications
Mon, May 23, 2:07 PM
desharna committed rISABELLEec4b514bcfad: added lemma image_mset_filter_mset_swap.
added lemma image_mset_filter_mset_swap
Mon, May 23, 1:56 PM
desharna committed rISABELLE7c2fe41f5ee8: NEWS.
NEWS
Mon, May 23, 1:56 PM
desharna committed rISABELLE4117491aa7fe: merged.
merged
Mon, May 23, 10:13 AM
desharna committed rISABELLEcbf011677235: added lemmas filter_mset_cong{0,}.
added lemmas filter_mset_cong{0,}
Mon, May 23, 10:13 AM

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
Sun, May 22, 8:02 AM

Wed, May 18

paulson <lp15@cam.ac.uk> committed rAFPd859db6acb75: A tiny bit of reorganisation.
A tiny bit of reorganisation
Wed, May 18, 5:18 PM
paulson <lp15@cam.ac.uk> committed rISABELLE91c16c5ad3e9: tidied auto / simp with null arguments.
tidied auto / simp with null arguments
Wed, May 18, 11:51 AM

Tue, May 17

paulson <lp15@cam.ac.uk> committed rAFP3149eae9c077: the last "simp/auto" problems.
the last "simp/auto" problems
Tue, May 17, 5:03 PM
paulson <lp15@cam.ac.uk> committed rAFP58359778acff: corrected all "bysimp".
corrected all "bysimp"
Tue, May 17, 4:34 PM
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…
Tue, May 17, 3:25 PM
paulson <lp15@cam.ac.uk> committed rAFPef2cf009504d: Tidied auto/simp with null arguments.
Tidied auto/simp with null arguments
Tue, May 17, 3:25 PM
nipkow committed rAFP173359fcafa4: merged.
merged
Tue, May 17, 7:45 AM
nipkow committed rAFP3ec6dc59412e: comleted single loop refinement.
comleted single loop refinement
Tue, May 17, 7:45 AM

Mon, May 16

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP613d8d8fb067: minor adjustments.
minor adjustments
Mon, May 16, 11:36 AM
user9716869 <user9716869@gmail.com> committed rAFPda39b5964de3: metadata.
metadata
Mon, May 16, 2:26 AM
user9716869 <user9716869@gmail.com> committed rAFPb4f4acb4ee94: minor amendments.
minor amendments
Mon, May 16, 1:15 AM
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…
Mon, May 16, 1:09 AM

Fri, May 13

Fabian Huch <huch@in.tum.de> committed rAFPd0c948a42af2: merged.
merged
Fri, May 13, 5:01 PM
Fabian Huch <huch@in.tum.de> committed rAFP00c034528a4a: clarified formatting, for the sake of scala3;.
clarified formatting, for the sake of scala3;
Fri, May 13, 5:01 PM
Fabian Huch <huch@in.tum.de> committed rAFPdbddab778577: merged.
merged
Fri, May 13, 5:01 PM
Fabian Huch <huch@in.tum.de> committed rAFPe3c2aeafc2c0: merged.
merged
Fri, May 13, 5:01 PM
Fabian Huch <huch@in.tum.de> committed rAFPfbafb44dc503: hugo site: better scrolling;.
hugo site: better scrolling;
Fri, May 13, 5:01 PM

Thu, May 12

paulson <lp15@cam.ac.uk> committed rAFPa3f22844a82d: patched a broken proof.
patched a broken proof
Thu, May 12, 12:19 PM
nipkow committed rAFP198ec6433df8: merged.
merged
Thu, May 12, 11:58 AM
nipkow committed rAFP8bcb5f82bf5b: single lopp variant refined to lists..
single lopp variant refined to lists.
Thu, May 12, 11:58 AM

Wed, May 11

makarius committed rISABELLE295e1c9d2994: tuned signature;.
tuned signature;
Wed, May 11, 10:43 AM
makarius committed rISABELLEe2aa3c1f90a1: provide Isabelle/Electron test;.
provide Isabelle/Electron test;
Wed, May 11, 10:13 AM

Tue, May 10

kleing committed rAFPfd202ff69233: merge from afp-2021-1.
merge from afp-2021-1
Tue, May 10, 1:25 AM
paulson <lp15@cam.ac.uk> committed rAFPd7801c6a5adf: sitegen for Digit_Expansions.
sitegen for Digit_Expansions
Tue, May 10, 1:25 AM
paulson <lp15@cam.ac.uk> committed rAFP5e69ff8cfad7: typo fix.
typo fix
Tue, May 10, 1:25 AM
kleing committed rAFP9a8e97891573: adjust for isabelle@7095df141819.
adjust for isabelle@7095df141819
Tue, May 10, 1:25 AM
paulson <lp15@cam.ac.uk> committed rAFP143b4d24fbba: New entry Digit_Expansions.
New entry Digit_Expansions
Tue, May 10, 1:25 AM
paulson committed rAFP1f559dbb866d: merged.
merged
Tue, May 10, 1:25 AM
paulson <lp15@cam.ac.uk> committed rAFPb11ab6e691fc: finally!!!! Sitegen for Sophomore's Dream.
finally!!!! Sitegen for Sophomore's Dream
Tue, May 10, 1:25 AM
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
Tue, May 10, 1:25 AM