# Active Repositories

Active Repositories

- rAFP afp-devel
- Mon, Sep 13, 4:18 PM2021-09-13 16:18:27 (UTC+2)
- Mercurial

- rWEBSITE isabelle-website
- Feb 20 2021, 9:18 PM2021-02-20 21:18:29 (UTC+1)
- Mercurial

# Recent Activity

Recent Activity

# Yesterday

Yesterday

desharna committed rISABELLE404ce20efc4c: proper constants in TPTP $let binding.

proper constants in TPTP $let binding

more operations from Isabelle/ML;

tuned proofs --- eliminated 'guess';

clarified antiquotations;

desharna committed rISABELLE102b55e81aca: proper firstorderization in Sledgehammer.

proper firstorderization in Sledgehammer

# Sun, Sep 19

Sun, Sep 19

clarified signature;

clarified antiquotations;

more control symbols;

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

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

support ML antiquotations with fn abstraction;

# Thu, Sep 16

Thu, Sep 16

clarified operations: follow Isabelle/ML more closely;

dcjm committed rPOLYMLcf6f86a6874c: Add regression test for print fix for functor argument. (authored by dcjm).

Add regression test for print fix for functor argument.

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…

# Wed, Sep 15

Wed, Sep 15

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…

clarified name and options for old vampire-4.2.2;

clarified signature;

# Mon, Sep 13

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…

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…

clarified signature;

# Sun, Sep 12

Sun, Sep 12

tuned signature, according to Isabelle/28a582aa25dd;

more antiquotations;

more antiquotations;

more antiquotations;

more antiquotations;

more antiquotations;

clarified antiquotations;

more antiquotations;

more antiquotations;

clarified antiquotation;

more antiquotations;

more antiquotations;

more antiquotations;