Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Low (6)

Wishlist (3)

Active Repositories

Recent Activity

Yesterday

makarius committed rISABELLE55d4f8e1877f: tuned, continuing e955964d89cb;.
tuned, continuing e955964d89cb;
Tue, Oct 26, 11:29 PM
makarius committed rISABELLEea5d28c7f5e5: merged.
merged
Tue, Oct 26, 11:29 PM
makarius committed rISABELLE71bafd70acbb: avoid waste of resources due to dynamic simpset (amending 45c09620f726);.
avoid waste of resources due to dynamic simpset (amending 45c09620f726);
Tue, Oct 26, 11:29 PM
Norbert Schirmer <nschirmer@apple.com> committed rISABELLE2f28a0a758ab: fix latex.
fix latex
Tue, Oct 26, 11:29 PM
makarius committed rISABELLE66f10c877542: clarified modules;.
clarified modules;
Tue, Oct 26, 11:29 PM
florian.haftmann committed rAFP99b814982902: more generic bit/word lemmas for distribution.
more generic bit/word lemmas for distribution
Tue, Oct 26, 5:23 PM
florian.haftmann committed rISABELLE3c587b7c3d5c: more generic bit/word lemmas for distribution.
more generic bit/word lemmas for distribution
Tue, Oct 26, 5:23 PM
paulson committed rISABELLEa0ab0dc28d3c: merged.
merged
Tue, Oct 26, 5:23 PM
paulson <lp15@cam.ac.uk> committed rISABELLE00ffae972fc0: Added / moved some simple set-theoretic lemmas.
Added / moved some simple set-theoretic lemmas
Tue, Oct 26, 5:23 PM
paulson <lp15@cam.ac.uk> committed rAFP1d43ab62d7eb: Fixing a name clash between two different "restrict" operators.
Fixing a name clash between two different "restrict" operators
Tue, Oct 26, 5:22 PM
makarius committed rISABELLEee92a47b47cb: more CONTRIBUTORS and NEWS;.
more CONTRIBUTORS and NEWS;
Tue, Oct 26, 3:16 PM
Norbert Schirmer <nschirmer@apple.com> committed rISABELLEebb0b15c66e1: refine interface.
refine interface
Tue, Oct 26, 3:16 PM
Norbert Schirmer <nschirmer@apple.com> committed rISABELLE3cc363e8bfb2: cleanup; add Apple reference.
cleanup; add Apple reference
Tue, Oct 26, 3:16 PM
Norbert Schirmer <nschirmer@apple.com> committed rISABELLE5ac762b53119: generalized component lookup for syntax and distinctness proofs. added some….
generalized component lookup for syntax and distinctness proofs. added some…
Tue, Oct 26, 3:16 PM
Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com> committed rAFPbddb42d8c62a: Merged.
Merged
Tue, Oct 26, 6:49 AM
Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com> committed rAFP82a159e398cf: solved the roots-on-the-border problem.
solved the roots-on-the-border problem
Tue, Oct 26, 6:49 AM
Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com> committed rAFPcb70e6f97bfa: split Count_Complex_Roots.
split Count_Complex_Roots
Tue, Oct 26, 6:49 AM
makarius committed rAFPb8642e91d99f: more realistic timeout;.
more realistic timeout;
Tue, Oct 26, 12:00 AM

Mon, Oct 25

makarius committed rAFP55910792390b: clarified signature, according to Isabelle/ccf599864beb;.
clarified signature, according to Isabelle/ccf599864beb;
Mon, Oct 25, 11:38 PM
makarius committed rISABELLE42fb56041c11: merged.
merged
Mon, Oct 25, 11:27 PM
makarius committed rISABELLEc14787d73db6: tuned;.
tuned;
Mon, Oct 25, 11:27 PM
makarius committed rISABELLE0eb2f18b1806: more antiquotations;.
more antiquotations;
Mon, Oct 25, 11:27 PM
makarius committed rISABELLE882de99c7c83: more antiquotations;.
more antiquotations;
Mon, Oct 25, 11:27 PM
makarius committed rISABELLEe5b38bb5a147: more robust: genuinely free variables need to be instantiated;.
more robust: genuinely free variables need to be instantiated;
Mon, Oct 25, 11:27 PM
makarius committed rISABELLEd114553793df: tuned comments;.
tuned comments;
Mon, Oct 25, 11:27 PM
makarius committed rISABELLE9bfbb5f7ec99: tuned;.
tuned;
Mon, Oct 25, 11:26 PM
makarius committed rISABELLEbf703bfc065c: clarified errors;.
clarified errors;
Mon, Oct 25, 11:26 PM
makarius committed rISABELLEd4829a7333e2: clarified instantiation: local beta reduction after substitution, as for Envir..
clarified instantiation: local beta reduction after substitution, as for Envir.
Mon, Oct 25, 11:26 PM
makarius committed rISABELLE0b43d42cfde7: tuned;.
tuned;
Mon, Oct 25, 11:26 PM
makarius committed rISABELLEccf599864beb: clarified signature -- avoid clones;.
clarified signature -- avoid clones;
Mon, Oct 25, 11:26 PM
paulson <lp15@cam.ac.uk> committed rISABELLEcff477b6d015: Refinement of partitions.
Refinement of partitions
Mon, Oct 25, 6:15 PM

Sun, Oct 24

makarius committed rISABELLEe2e2bc1f9570: avoid persistence of static context: instantiation arguments should provide….
avoid persistence of static context: instantiation arguments should provide…
Sun, Oct 24, 11:14 PM
makarius committed rISABELLEd3e36521fcc7: more markup;.
more markup;
Sun, Oct 24, 11:14 PM
makarius committed rISABELLE08b4292abe2b: more antiquotations;.
more antiquotations;
Sun, Oct 24, 11:14 PM
makarius committed rISABELLE7625b5d7cfe2: clarified name, syntax, messages;.
clarified name, syntax, messages;
Sun, Oct 24, 11:14 PM
makarius committed rISABELLEf4613ca298e6: more antiquotations;.
more antiquotations;
Sun, Oct 24, 11:14 PM
makarius committed rISABELLE7f311d474cf9: more control symbols;.
more control symbols;
Sun, Oct 24, 11:14 PM
makarius committed rISABELLE40910c47d7a1: tuned signature;.
tuned signature;
Sun, Oct 24, 11:14 PM
makarius committed rISABELLE8e0f0317e266: ML antiquotations to instantiate types/terms/props;.
ML antiquotations to instantiate types/terms/props;
Sun, Oct 24, 11:14 PM
florian.haftmann committed rAFPb7f45664e583: back to dedicated separate shift operations for infix syntax;.
back to dedicated separate shift operations for infix syntax;
Sun, Oct 24, 8:09 AM