Normal (6)

makarius committed rISABELLEea5d28c7f5e5: merged.

merged

makarius committed rISABELLE71bafd70acbb: avoid waste of resources due to dynamic simpset (amending 45c09620f726);.

avoid waste of resources due to dynamic simpset (amending 45c09620f726);

Norbert Schirmer <nschirmer@apple.com> committed rISABELLE2f28a0a758ab: fix latex.

fix latex

makarius committed rISABELLE66f10c877542: clarified modules;.

clarified modules;

florian.haftmann committed rAFP99b814982902: more generic bit/word lemmas for distribution.

more generic bit/word lemmas for distribution

florian.haftmann committed rISABELLE3c587b7c3d5c: more generic bit/word lemmas for distribution.

more generic bit/word lemmas for distribution

paulson committed rISABELLEa0ab0dc28d3c: merged.

merged

paulson <lp15@cam.ac.uk> committed rISABELLE00ffae972fc0: Added / moved some simple set-theoretic lemmas.

Added / moved some simple set-theoretic lemmas

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;

Norbert Schirmer <nschirmer@apple.com> committed rISABELLEebb0b15c66e1: refine interface.

refine interface

Norbert Schirmer <nschirmer@apple.com> committed rISABELLE3cc363e8bfb2: cleanup; add Apple reference.

cleanup; add Apple reference

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…

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

makarius committed rISABELLEc14787d73db6: tuned;.

tuned;

makarius committed rISABELLE0eb2f18b1806: more antiquotations;.

more antiquotations;

makarius committed rISABELLE882de99c7c83: more antiquotations;.

more antiquotations;

makarius committed rISABELLEe5b38bb5a147: more robust: genuinely free variables need to be instantiated;.

more robust: genuinely free variables need to be instantiated;

makarius committed rISABELLEd114553793df: tuned comments;.

tuned comments;

makarius committed rISABELLE9bfbb5f7ec99: tuned;.

tuned;

makarius committed rISABELLEbf703bfc065c: clarified errors;.

clarified errors;

makarius committed rISABELLEd4829a7333e2: clarified instantiation: local beta reduction after substitution, as for Envir..

clarified instantiation: local beta reduction after substitution, as for Envir.

makarius committed rISABELLE0b43d42cfde7: tuned;.

tuned;

makarius committed rISABELLEccf599864beb: clarified signature -- avoid clones;.

clarified signature -- avoid clones;

makarius committed rISABELLEe2e2bc1f9570: avoid persistence of static context: instantiation arguments should provide….

paulson <lp15@cam.ac.uk> committed rISABELLEcff477b6d015: Refinement of partitions.

Refinement of partitions

Mon, Oct 25, 6:15 PM

Sun, Oct 24

avoid persistence of static context: instantiation arguments should provide…

makarius committed rISABELLEd3e36521fcc7: more markup;.

more markup;

makarius committed rISABELLE08b4292abe2b: more antiquotations;.

more antiquotations;

makarius committed rISABELLE7625b5d7cfe2: clarified name, syntax, messages;.

clarified name, syntax, messages;

makarius committed rISABELLEf4613ca298e6: more antiquotations;.

more antiquotations;

makarius committed rISABELLE7f311d474cf9: more control symbols;.

more control symbols;

makarius committed rISABELLE40910c47d7a1: tuned signature;.

tuned signature;

makarius committed rISABELLE8e0f0317e266: ML antiquotations to instantiate types/terms/props;.

ML antiquotations to instantiate types/terms/props;