Author | Object | Transaction | Date |
---|
traytel | rAFPf9cbe0d87965: adapt to isabelle/a30278c8585f; tuned whitespace | | Tue, Dec 10, 9:16 AM |
traytel | rISABELLE4765fec43414: unfold intermediate (internal) pred definitions | | Tue, Dec 10, 1:06 AM |
traytel | rISABELLEa30278c8585f: extension of lift_bnf to support quotient types | | Tue, Dec 10, 1:06 AM |
traytel | rISABELLE35a92ce0b94e: an extensive example for lift_bnf across quotients | | Tue, Dec 10, 1:06 AM |
traytel | rISABELLE0c454a5d125d: NEWS, CONTRIBUTORS, and documentation | | Tue, Dec 10, 1:06 AM |
paulson <lp15@cam.ac.uk> | rAFP712c4cf1b3c1: fixed a theory sensitive to ext_funcset_to_sing_iff | | Mon, Dec 9, 8:04 PM |
paulson <lp15@cam.ac.uk> | rISABELLE308baf6b450a: corrected some confusing terminology / notation | | Mon, Dec 9, 5:37 PM |
paulson <lp15@cam.ac.uk> | rISABELLE09aee7f5b447: Ramsey with multiple colours and arbitrary exponents | | Mon, Dec 9, 5:13 PM |
paulson <lp15@cam.ac.uk> | rISABELLEd67924987c34: a few new and tidier proofs (mostly about finite sets) | | Mon, Dec 9, 4:36 PM |
makarius | rISABELLEb1f3e86a4745: clarified signature: store full theory name; | | Mon, Dec 9, 11:17 AM |
nipkow | rISABELLEdd74e0558fd1: merged | | Sun, Dec 8, 5:42 PM |
nipkow | rISABELLE4258ee13f5d4: moved lemmas | | Sun, Dec 8, 5:42 PM |
makarius | W1 Isabelle Development Resources | | Sat, Dec 7, 4:55 PM |
makarius | W1 Isabelle Development Resources | | Sat, Dec 7, 4:54 PM |
makarius | W1 Isabelle Development Resources | | Sat, Dec 7, 4:53 PM |
makarius | W1 Isabelle Development Resources | | Sat, Dec 7, 4:02 PM |
makarius | W1 Isabelle Development Resources | | Sat, Dec 7, 4:02 PM |
makarius | W1 Isabelle Development Resources | | Sat, Dec 7, 4:00 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Profile Menu Item | | Sat, Dec 7, 3:58 PM |
makarius | Overview | makarius changed the panels on this dashboard. | Sat, Dec 7, 3:57 PM |
makarius | W1 Isabelle Development Resources | | Sat, Dec 7, 3:57 PM |
makarius | W1 Isabelle Development Resources | | Sat, Dec 7, 3:57 PM |
makarius | W1 Isabelle Development Resources | makarius created this object with visibility "Public (No Login Required)". | Sat, Dec 7, 3:57 PM |
makarius | W1 Isabelle Development Resources | | Sat, Dec 7, 3:57 PM |
makarius | W1 Isabelle Development Resources | makarius renamed this panel from to Isabelle Development Resources. | Sat, Dec 7, 3:57 PM |
makarius | Overview | | Sat, Dec 7, 3:57 PM |
makarius | Overview | | Sat, Dec 7, 3:57 PM |
makarius | Overview | makarius renamed this dashboard from to Overview. | Sat, Dec 7, 3:57 PM |
makarius | Overview | makarius changed the layout mode for this dashboard from to layout-mode-full. | Sat, Dec 7, 3:57 PM |
makarius | Overview | makarius created this object with visibility "Public (No Login Required)". | Sat, Dec 7, 3:57 PM |
makarius | rISABELLEa9ad4a954cb7: merged | | Fri, Dec 6, 7:56 PM |
nipkow | rAFP429a712d7c4d: adapted to devel | | Fri, Dec 6, 6:58 PM |
makarius | rISABELLEa62431901140: suppress record types: not working properly; | | Fri, Dec 6, 5:05 PM |
nipkow | rISABELLE38457af660bc: cleaning | | Fri, Dec 6, 5:03 PM |
makarius | rISABELLEc5914bdd896b: removed junk; | | Fri, Dec 6, 4:22 PM |
makarius | rISABELLE297d24fb262c: discontinued somewhat pointless options; | | Fri, Dec 6, 4:13 PM |
makarius | rISABELLEbd93c71521a0: tuned signature; | | Fri, Dec 6, 4:05 PM |
makarius | rISABELLE877316c54ed3: clarified signature; | | Fri, Dec 6, 3:53 PM |
makarius | rISABELLEadf5e53d2b2b: export datatypes; | | Fri, Dec 6, 3:44 PM |
nipkow | rISABELLE5b7c85586eb1: tuned | | Fri, Dec 6, 2:36 PM |
makarius | rISABELLE6e0ff949073e: clarified modules; | | Fri, Dec 6, 11:43 AM |
makarius | rISABELLE30db0523f9b0: misc tuning and clarification: proper check of datatype kind; | | Fri, Dec 6, 11:36 AM |
makarius | rISABELLEe5664a75f4b5: clarified modules; | | Fri, Dec 6, 11:12 AM |
nipkow | rISABELLEec5090faf541: separated Affine theory from Convex | | Thu, Dec 5, 9:03 PM |
nipkow | rISABELLEd9e747cafb04: merged | | Thu, Dec 5, 7:53 PM |
nipkow | rISABELLE67880e7ee08d: tuned | | Thu, Dec 5, 6:26 PM |
nipkow | rISABELLEda73ee760643: merged | | Thu, Dec 5, 1:51 PM |
haftmann | rISABELLEacc6cb1a1a67: proper table data structure | | Thu, Dec 5, 1:09 PM |
haftmann | rISABELLE9612115e06d1: removed some vain declarations | | Thu, Dec 5, 1:09 PM |
davetbutler | rAFP7c33f283cfef: MPC update ETP and perfect sec rename | | Thu, Dec 5, 12:31 PM |
nipkow | rISABELLE6c1ed478605e: made Starlike independent of Abstract_Limits | | Thu, Dec 5, 11:21 AM |
haftmann | rISABELLEd12c58e12c51: more direct accessors for simpset | | Thu, Dec 5, 10:24 AM |
nipkow | rISABELLEda28fd2852ed: moved starlike where it belongs | | Wed, Dec 4, 11:11 PM |
haftmann | rISABELLEf1838cf9f139: regular merge with no historization, in accordance with regular update | | Wed, Dec 4, 9:25 PM |
makarius | rISABELLE5ea3ed3c52b3: support for bulk operations: consume mailbox content in batches; | | Wed, Dec 4, 8:08 PM |
makarius | rISABELLEdafa5fce70f1: clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many… | | Wed, Dec 4, 8:08 PM |
makarius | rISABELLE7b9ff966974f: merged | | Wed, Dec 4, 7:55 PM |
makarius | rISABELLEdafa5fce70f1: clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many… | | Wed, Dec 4, 7:40 PM |
Peter Lammich | rAFP8c3387faaeed: Fixed CAVA-Impl to accomodate for generalized Gabow_GBG | | Wed, Dec 4, 6:34 PM |
nipkow | rISABELLE095cf95d7725: moved segment lemmas where they belong | | Wed, Dec 4, 6:28 PM |
David Matthews <dm@prolingua.co.uk> | rPOLYML850ca1289823: Rebuild Makefile.in after merge. | | Wed, Dec 4, 5:32 PM |
David Matthews <dm@prolingua.co.uk> | rPOLYMLbd0917074271: Merge branch 'master' into GCPercent | | Wed, Dec 4, 5:27 PM |
Peter Lammich | rAFP3049a0ad195d: merged | | Wed, Dec 4, 4:53 PM |
Peter Lammich | rAFP7d5c0f2b46b5: Generalized Gabow-SCC to arbitrary refinements for nodes | | Wed, Dec 4, 4:50 PM |
nipkow | rISABELLEbe2c2bfa54a0: merged | | Wed, Dec 4, 3:36 PM |