Normal (8)

makarius committed rISABELLE8d0c2d74ad63: tuned proofs --- eliminated 'guess';.

tuned proofs --- eliminated 'guess';

makarius committed rISABELLEb8a191ce08aa: merged.

merged

makarius committed rISABELLE308e74afab83: tuned proofs;.

tuned proofs;

makarius committed rISABELLE5c452041fe83: clarified antiquotations;.

clarified antiquotations;

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;

makarius committed rISABELLEdd04da556d1a: clarified antiquotations;.

clarified antiquotations;

makarius committed rISABELLE3360ea6b659d: more control symbols;.

more control symbols;

makarius committed rISABELLE54b2e5f771da: clarified signature -- prefer antiquotations (with subtle change of exception….

clarified signature -- prefer antiquotations (with subtle change of exception…

makarius committed rISABELLE0a4e93250e44: support ML antiquotations with fn abstraction;.

support ML antiquotations with fn abstraction;

makarius committed rISABELLE46a0bb3d3a7b: unused;.

unused;

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;

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…

makarius committed rISABELLE7b860fa1140f: tuned;.

tuned;

makarius committed rISABELLE19022ea3f8cc: clarified name and options for old vampire-4.2.2;.

clarified name and options for old vampire-4.2.2;

florian.haftmann committed rAFP33b9d9a97696: explicit predicate for confined bit range avoids cyclic rewriting in presence….

makarius committed rISABELLEd7a62db70a07: clarified signature;.

clarified signature;

Wed, Sep 15, 10:57 AM

Mon, Sep 13

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;

makarius committed rISABELLE1466f8a2f6dd: more antiquotations;.

more antiquotations;

makarius committed rISABELLEf7ee629b9beb: more antiquotations;.

more antiquotations;

makarius committed rISABELLEffe269e74bdd: more antiquotations;.

more antiquotations;

makarius committed rISABELLE6bc96f31cafd: more antiquotations;.

more antiquotations;

makarius committed rISABELLE33f13d2d211c: clarified antiquotations;.

clarified antiquotations;

makarius committed rISABELLE16e5870fe21e: more antiquotations;.

more antiquotations;

makarius committed rISABELLE45a77ee63e57: more antiquotations;.

more antiquotations;

makarius committed rISABELLEabc878973216: clarified antiquotation;.

clarified antiquotation;

makarius committed rISABELLEac130a6bd6b2: more antiquotations;.

more antiquotations;

makarius committed rISABELLE9a9326a072bb: more antiquotations;.

more antiquotations;

makarius committed rISABELLEee04dc00bf0a: more antiquotations;.

more antiquotations;