Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Yesterday

desharna committed rISABELLE949054d78a77: merged.
merged
Mon, Sep 20, 8:25 PM
desharna committed rISABELLE404ce20efc4c: proper constants in TPTP $let binding.
proper constants in TPTP $let binding
Mon, Sep 20, 8:25 PM
makarius committed rISABELLE9dca3df78b6a: more operations from Isabelle/ML;.
more operations from Isabelle/ML;
Mon, Sep 20, 3:27 PM
makarius committed rISABELLE8d0c2d74ad63: tuned proofs --- eliminated 'guess';.
tuned proofs --- eliminated 'guess';
Mon, Sep 20, 3:27 PM
makarius committed rISABELLEb8a191ce08aa: merged.
merged
Mon, Sep 20, 3:27 PM
makarius committed rISABELLE308e74afab83: tuned proofs;.
tuned proofs;
Mon, Sep 20, 3:27 PM
makarius committed rISABELLE5c452041fe83: clarified antiquotations;.
clarified antiquotations;
Mon, Sep 20, 3:27 PM
desharna committed rISABELLE102b55e81aca: proper firstorderization in Sledgehammer.
proper firstorderization in Sledgehammer
Mon, Sep 20, 2:09 PM

Sun, Sep 19

makarius committed rISABELLE714e87ce6e9d: clarified signature;.
clarified signature;
Sun, Sep 19, 10:02 PM
makarius committed rISABELLEdd04da556d1a: clarified antiquotations;.
clarified antiquotations;
Sun, Sep 19, 10:02 PM
makarius committed rISABELLE3360ea6b659d: more control symbols;.
more control symbols;
Sun, Sep 19, 10:02 PM
makarius committed rISABELLE54b2e5f771da: clarified signature -- prefer antiquotations (with subtle change of exception….
clarified signature -- prefer antiquotations (with subtle change of exception…
Sun, Sep 19, 10:02 PM
makarius committed rISABELLE0a4e93250e44: support ML antiquotations with fn abstraction;.
support ML antiquotations with fn abstraction;
Sun, Sep 19, 10:02 PM
makarius committed rISABELLE46a0bb3d3a7b: unused;.
unused;
Sun, Sep 19, 10:02 PM

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