Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Recent Activity

Thu, Sep 16

makarius committed rISABELLE30a0f5879d90: clarified operations: follow Isabelle/ML more closely;.
clarified operations: follow Isabelle/ML more closely;
Thu, Sep 16, 7:05 PM
dcjm committed rPOLYMLcf6f86a6874c: Add regression test for print fix for functor argument. (authored by dcjm).
Add regression test for print fix for functor argument.
Thu, Sep 16, 5:17 PM
dcjm committed rPOLYMLbc89845e46c7: Create a print function for a type function (e.g. type t = int*int). This is… (authored by dcjm).
Create a print function for a type function (e.g. type t = int*int). This is…
Thu, Sep 16, 2:19 PM

Wed, Sep 15

makarius committed rISABELLE6b998ce1b8cb: obsolete;.
obsolete;
Wed, Sep 15, 8:09 PM
makarius committed rISABELLEc645d973f881: provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant….
provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant…
Wed, Sep 15, 8:09 PM
makarius committed rISABELLE7b860fa1140f: tuned;.
tuned;
Wed, Sep 15, 8:09 PM
makarius committed rISABELLE19022ea3f8cc: clarified name and options for old vampire-4.2.2;.
clarified name and options for old vampire-4.2.2;
Wed, Sep 15, 8:09 PM
makarius committed rISABELLEd7a62db70a07: clarified signature;.
clarified signature;
Wed, Sep 15, 10:57 AM

Mon, Sep 13

florian.haftmann committed rAFP33b9d9a97696: explicit predicate for confined bit range avoids cyclic rewriting in presence….
explicit predicate for confined bit range avoids cyclic rewriting in presence…
Mon, Sep 13, 4:20 PM
florian.haftmann committed rISABELLE42523fbf643b: explicit predicate for confined bit range avoids cyclic rewriting in presence….
explicit predicate for confined bit range avoids cyclic rewriting in presence…
Mon, Sep 13, 4:19 PM
makarius committed rISABELLE7466b2a3905a: more latex macros;.
more latex macros;
Mon, Sep 13, 1:37 PM
makarius committed rISABELLEa117c076aa22: clarified signature;.
clarified signature;
Mon, Sep 13, 1:19 PM
makarius committed rISABELLEde4b3abaf3ca: tuned;.
tuned;
Mon, Sep 13, 1:19 PM

Sun, Sep 12

makarius committed rAFPa168f8f2bbc3: tuned signature, according to Isabelle/28a582aa25dd;.
tuned signature, according to Isabelle/28a582aa25dd;
Sun, Sep 12, 10:59 PM
makarius committed rISABELLE28a582aa25dd: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLE1466f8a2f6dd: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLEf7ee629b9beb: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLEffe269e74bdd: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLE6bc96f31cafd: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLE33f13d2d211c: clarified antiquotations;.
clarified antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLE16e5870fe21e: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLE45a77ee63e57: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLEabc878973216: clarified antiquotation;.
clarified antiquotation;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLEac130a6bd6b2: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLE9a9326a072bb: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLEee04dc00bf0a: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLE54279cfcf037: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLE39c98371606f: tuned;.
tuned;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLEb2ad24b5a42c: more antiquotations;.
more antiquotations;
Sun, Sep 12, 10:35 PM
makarius committed rISABELLEb83fa8f3a271: ML antiquotations for type constructors and term constants;.
ML antiquotations for type constructors and term constants;
Sun, Sep 12, 10:35 PM

Fri, Sep 10

makarius committed rISABELLE7492cd35782e: tuned;.
tuned;
Fri, Sep 10, 11:19 PM
makarius committed rISABELLE1fc263b5aac1: NEWS;.
NEWS;
Fri, Sep 10, 11:03 PM
makarius committed rISABELLEf79dfc7656ae: miscellaneous examples and experiments for Isabelle/Pure;.
miscellaneous examples and experiments for Isabelle/Pure;
Fri, Sep 10, 10:47 PM
makarius committed rISABELLE641300b56ebe: tuned comments;.
tuned comments;
Fri, Sep 10, 9:57 PM
makarius committed rAFPcb975509a607: eliminated Specification.definition', following Isabelle/6876e3d5e362;.
eliminated Specification.definition', following Isabelle/6876e3d5e362;
Fri, Sep 10, 9:41 PM
makarius committed rAFP72c37b1f419b: clarified signature: more scalable operations, according to….
clarified signature: more scalable operations, according to…
Fri, Sep 10, 9:41 PM
makarius committed rISABELLE8d1e27a23dd1: clarified order of extra TFrees: underlying fast_string_ord coincides with Name..
clarified order of extra TFrees: underlying fast_string_ord coincides with Name.
Fri, Sep 10, 9:39 PM
makarius committed rISABELLE019fe8238656: NEWS;.
NEWS;
Fri, Sep 10, 9:39 PM
makarius committed rISABELLE6876e3d5e362: unused;.
unused;
Fri, Sep 10, 9:39 PM
makarius committed rISABELLE7829d6435c60: more scalable operations;.
more scalable operations;
Fri, Sep 10, 9:39 PM