Page MenuHomePhabricator

Open Tasks
View All

Normal (2)

Low (1)

Recent Activity
View All

Today

traytel committed rISABELLE0c454a5d125d: NEWS, CONTRIBUTORS, and documentation.
NEWS, CONTRIBUTORS, and documentation
Tue, Dec 10, 9:16 AM
traytel committed rISABELLE35a92ce0b94e: an extensive example for lift_bnf across quotients.
an extensive example for lift_bnf across quotients
Tue, Dec 10, 9:16 AM
traytel committed rISABELLEa30278c8585f: extension of lift_bnf to support quotient types.
extension of lift_bnf to support quotient types
Tue, Dec 10, 9:16 AM
traytel committed rISABELLE4765fec43414: unfold intermediate (internal) pred definitions.
unfold intermediate (internal) pred definitions
Tue, Dec 10, 9:16 AM
traytel committed rAFPf9cbe0d87965: adapt to isabelle/a30278c8585f; tuned whitespace.
adapt to isabelle/a30278c8585f; tuned whitespace
Tue, Dec 10, 9:16 AM

Yesterday

paulson <lp15@cam.ac.uk> committed rAFP712c4cf1b3c1: fixed a theory sensitive to ext_funcset_to_sing_iff.
fixed a theory sensitive to ext_funcset_to_sing_iff
Mon, Dec 9, 8:18 PM
paulson <lp15@cam.ac.uk> committed rISABELLE308baf6b450a: corrected some confusing terminology / notation.
corrected some confusing terminology / notation
Mon, Dec 9, 5:37 PM
paulson <lp15@cam.ac.uk> committed rISABELLE09aee7f5b447: Ramsey with multiple colours and arbitrary exponents.
Ramsey with multiple colours and arbitrary exponents
Mon, Dec 9, 5:13 PM
paulson <lp15@cam.ac.uk> committed rISABELLEd67924987c34: a few new and tidier proofs (mostly about finite sets).
a few new and tidier proofs (mostly about finite sets)
Mon, Dec 9, 4:37 PM
wenzelm committed rISABELLEb1f3e86a4745: clarified signature: store full theory name;.
clarified signature: store full theory name;
Mon, Dec 9, 11:22 AM

Sun, Dec 8

nipkow committed rISABELLEdd74e0558fd1: merged.
merged
Sun, Dec 8, 5:45 PM
nipkow committed rISABELLE4258ee13f5d4: moved lemmas.
moved lemmas
Sun, Dec 8, 5:45 PM

Fri, Dec 6

wenzelm committed rISABELLEa9ad4a954cb7: merged.
merged
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLEa62431901140: suppress record types: not working properly;.
suppress record types: not working properly;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLEc5914bdd896b: removed junk;.
removed junk;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLE297d24fb262c: discontinued somewhat pointless options;.
discontinued somewhat pointless options;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLE877316c54ed3: clarified signature;.
clarified signature;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLEbd93c71521a0: tuned signature;.
tuned signature;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLEadf5e53d2b2b: export datatypes;.
export datatypes;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLE6e0ff949073e: clarified modules;.
clarified modules;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLE30db0523f9b0: misc tuning and clarification: proper check of datatype kind;.
misc tuning and clarification: proper check of datatype kind;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLEe5664a75f4b5: clarified modules;.
clarified modules;
Fri, Dec 6, 8:29 PM
nipkow committed rAFP429a712d7c4d: adapted to devel.
adapted to devel
Fri, Dec 6, 7:00 PM
nipkow committed rISABELLE38457af660bc: cleaning.
cleaning
Fri, Dec 6, 6:24 PM
nipkow committed rISABELLE5b7c85586eb1: tuned.
tuned
Fri, Dec 6, 2:37 PM

Thu, Dec 5

nipkow committed rISABELLEec5090faf541: separated Affine theory from Convex.
separated Affine theory from Convex
Thu, Dec 5, 10:31 PM
nipkow committed rISABELLEd9e747cafb04: merged.
merged
Thu, Dec 5, 7:54 PM
nipkow committed rISABELLE67880e7ee08d: tuned.
tuned
Thu, Dec 5, 7:54 PM
haftmann committed rISABELLEacc6cb1a1a67: proper table data structure.
proper table data structure
Thu, Dec 5, 3:54 PM
haftmann committed rISABELLE9612115e06d1: removed some vain declarations.
removed some vain declarations
Thu, Dec 5, 3:54 PM
nipkow committed rISABELLEda73ee760643: merged.
merged
Thu, Dec 5, 1:51 PM
nipkow committed rISABELLE6c1ed478605e: made Starlike independent of Abstract_Limits.
made Starlike independent of Abstract_Limits
Thu, Dec 5, 1:51 PM
haftmann committed rISABELLEd12c58e12c51: more direct accessors for simpset.
more direct accessors for simpset
Thu, Dec 5, 1:10 PM
davetbutler committed rAFP7c33f283cfef: MPC update ETP and perfect sec rename.
MPC update ETP and perfect sec rename
Thu, Dec 5, 12:33 PM
haftmann committed rISABELLEf1838cf9f139: regular merge with no historization, in accordance with regular update.
regular merge with no historization, in accordance with regular update
Thu, Dec 5, 7:50 AM
nipkow committed rISABELLEda28fd2852ed: moved starlike where it belongs.
moved starlike where it belongs
Thu, Dec 5, 6:59 AM

Wed, Dec 4

wenzelm committed rISABELLE7b9ff966974f: merged.
merged
Wed, Dec 4, 8:08 PM
wenzelm committed rISABELLEdafa5fce70f1: clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many….
clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many…
Wed, Dec 4, 8:08 PM
nipkow committed rISABELLE095cf95d7725: moved segment lemmas where they belong.
moved segment lemmas where they belong
Wed, Dec 4, 7:24 PM
Peter Lammich committed rAFP8c3387faaeed: Fixed CAVA-Impl to accomodate for generalized Gabow_GBG.
Fixed CAVA-Impl to accomodate for generalized Gabow_GBG
Wed, Dec 4, 6:34 PM