Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Yesterday

makarius committed rISABELLEfc19de122712: clarified signature;.
clarified signature;
Fri, Sep 30, 9:38 PM
makarius committed rISABELLE6ee5306d143a: more explanations on the new order prover (based on 10945fc183cd), without….
more explanations on the new order prover (based on 10945fc183cd), without…
Fri, Sep 30, 7:46 PM
makarius committed rISABELLE3c46356d241f: restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;.
restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
Fri, Sep 30, 7:46 PM
lukasstevens committed rISABELLE10945fc183cd: added documentation about new order prover.
added documentation about new order prover
Fri, Sep 30, 12:44 PM
lukasstevens committed rISABELLE2aad8698f82f: tweaked.
tweaked
Fri, Sep 30, 12:44 PM
Fabian Huch <huch@in.tum.de> committed rISABELLEfb2be77a7819: tweaked;.
tweaked;
Fri, Sep 30, 9:28 AM

Thu, Sep 29

Fabian Huch <huch@in.tum.de> committed rAFP56381425e759: adjust Stalnaker_Logic to changes in Epistemic_Logic;.
adjust Stalnaker_Logic to changes in Epistemic_Logic;
Thu, Sep 29, 6:03 PM
florian.haftmann committed rAFP474696083e43: adjusted to distribution.
adjusted to distribution
Thu, Sep 29, 4:17 PM
florian.haftmann committed rISABELLE64e8d4afcf10: moved relevant theorems from theory Divides to theory Euclidean_Division.
moved relevant theorems from theory Divides to theory Euclidean_Division
Thu, Sep 29, 4:16 PM
Fabian Huch <huch@in.tum.de> committed rAFP6fce8550ee97: remove duplicate code;.
remove duplicate code;
Thu, Sep 29, 3:53 PM
Fabian Huch <huch@in.tum.de> committed rISABELLEbe91db94e526: amend jenkins ci build;.
amend jenkins ci build;
Thu, Sep 29, 2:16 PM
Fabian Huch <huch@in.tum.de> committed rISABELLE3c4e373922ca: restructured ci profile into modular ci build system;.
restructured ci profile into modular ci build system;
Thu, Sep 29, 2:09 PM
Fabian Huch <huch@in.tum.de> committed rAFP4c631c22d1d2: restructure afp ci builds (see Isabelle/3c4e373922ca).
restructure afp ci builds (see Isabelle/3c4e373922ca)
Thu, Sep 29, 2:08 PM

Wed, Sep 28

paulson <lp15@cam.ac.uk> committed rISABELLE1f2e78b7df93: more structured proofs.
more structured proofs
Wed, Sep 28, 8:15 PM
Asta Halkjær From <andro.from@gmail.com> committed rAFP4763f470b77d: Cosmetic changes..
Cosmetic changes.
Wed, Sep 28, 6:17 PM
paulson <lp15@cam.ac.uk> committed rISABELLEcf8f85e2a807: fixed some theory presentation issues (?).
fixed some theory presentation issues (?)
Wed, Sep 28, 12:24 PM
makarius committed rISABELLEcf7db6353322: recover informal "&" from 0c18df79b1c8;.
recover informal "&" from 0c18df79b1c8;
Wed, Sep 28, 12:24 PM

Tue, Sep 27

paulson <lp15@cam.ac.uk> committed rISABELLE728f38b016c0: added a couple of structured proofs.
added a couple of structured proofs
Tue, Sep 27, 11:57 PM
paulson <lp15@cam.ac.uk> committed rISABELLE8655344f1cf6: More obsolete "unfold" calls.
More obsolete "unfold" calls
Tue, Sep 27, 7:04 PM
paulson <lp15@cam.ac.uk> committed rISABELLEa642599ffdea: More syntactic cleanup. LaTeX markup working.
More syntactic cleanup. LaTeX markup working
Tue, Sep 27, 7:04 PM
paulson <lp15@cam.ac.uk> committed rISABELLE9fc34f76b4e8: getting rid of apply (unfold ...).
getting rid of apply (unfold ...)
Tue, Sep 27, 7:04 PM
paulson <lp15@cam.ac.uk> committed rISABELLE0c18df79b1c8: more modernisation of syntax.
more modernisation of syntax
Tue, Sep 27, 7:04 PM
paulson <lp15@cam.ac.uk> committed rISABELLEe44d86131648: Removal of obsolete ASCII syntax.
Removal of obsolete ASCII syntax
Tue, Sep 27, 7:04 PM
Fabian Huch <huch@in.tum.de> committed rAFPd81cfd823ae9: merge from afp-2021-1.
merge from afp-2021-1
Tue, Sep 27, 3:16 PM
Fabian Huch <huch@in.tum.de> committed rAFPd34f0b952a04: regenerate site;.
regenerate site;
Tue, Sep 27, 3:16 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP43747de4292f: web entry for Stalnaker_Logic.
web entry for Stalnaker_Logic
Tue, Sep 27, 3:16 PM
Fabian Huch <huch@in.tum.de> committed rAFPc1bc44c10400: afp site: minor stylistic improvements;.
afp site: minor stylistic improvements;
Tue, Sep 27, 3:16 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPe9bab02fb67c: new entry: Stalnaker Logic.
new entry: Stalnaker Logic
Tue, Sep 27, 3:16 PM
makarius committed rAFPa969a9029a5c: clarified options, following f2094906e491;.
clarified options, following f2094906e491;
Tue, Sep 27, 1:37 PM
makarius committed rISABELLEf2094906e491: clarified options;.
clarified options;
Tue, Sep 27, 1:36 PM

Mon, Sep 26

sterraf committed rAFP80e872e0fe3a: Comments on theories brought from ZF-Constructible. Shortening fm names.
Comments on theories brought from ZF-Constructible. Shortening fm names
Mon, Sep 26, 9:35 PM
makarius committed rISABELLE2802f6a4dd8b: merged.
merged
Mon, Sep 26, 8:49 PM
makarius committed rISABELLEe44e044dadb3: provide missing LaTeX macro, e.g. for AFP/PAC_Checker;.
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
Mon, Sep 26, 8:49 PM
makarius committed rISABELLE365f6a621fc5: clarified signature;.
clarified signature;
Mon, Sep 26, 8:49 PM
florian.haftmann committed rISABELLE14dd8b46307f: streamlined division on polynomials.
streamlined division on polynomials
Mon, Sep 26, 12:30 PM

Sun, Sep 25

florian.haftmann committed rISABELLE8fcbce9f317c: streamlined division on polynomials.
streamlined division on polynomials
Sun, Sep 25, 9:26 PM
florian.haftmann committed rAFP5e7974c944c6: adjusted to distribution.
adjusted to distribution
Sun, Sep 25, 9:16 PM

Sat, Sep 24

Asta Halkjær From <andro.from@gmail.com> committed rAFP2b82df697776: Remove fontenc from root.tex to make Ł show in PDF..
Remove fontenc from root.tex to make Ł show in PDF.
Sat, Sep 24, 11:00 AM

Fri, Sep 23

Asta Halkjær From <andro.from@gmail.com> committed rAFP189717e4b998: Update ROOT....
Update ROOT...
Fri, Sep 23, 8:26 PM
Asta Halkjær From <andro.from@gmail.com> committed rAFP611e8be50bec: Appendix with another axiom system as a variant of the proof..
Appendix with another axiom system as a variant of the proof.
Fri, Sep 23, 6:55 PM