| 2015-12-16 |
wenzelm |
merged
|
changeset |
files
|
| 2015-12-16 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| 2015-12-16 |
wenzelm |
rule_attribute and declaration_attribute implicitly support abstract closure, but mixed_attribute implementations need to be aware of Thm.is_free_dummy;
|
changeset |
files
|
| 2015-12-15 |
wenzelm |
tuned signature -- clarified modules;
|
changeset |
files
|
| 2015-12-15 |
wenzelm |
unused;
|
changeset |
files
|
| 2015-12-15 |
wenzelm |
unused;
|
changeset |
files
|
| 2015-12-15 |
paulson |
Merge
|
changeset |
files
|
| 2015-12-15 |
paulson |
New complex analysis material
|
changeset |
files
|
| 2015-11-25 |
hoelzl |
infix syntax for measurable set
|
changeset |
files
|
| 2015-12-14 |
wenzelm |
more standard term equality;
|
changeset |
files
|
| 2015-12-14 |
wenzelm |
tuned;
|
changeset |
files
|
| 2015-12-14 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2015-12-14 |
wenzelm |
tuned message;
|
changeset |
files
|
| 2015-12-13 |
wenzelm |
merged
|
changeset |
files
|
| 2015-12-13 |
wenzelm |
more general types Proof.method / context_tactic;
|
changeset |
files
|
| 2015-12-12 |
wenzelm |
tuned;
|
changeset |
files
|
| 2015-12-12 |
wenzelm |
clarified ML scopes;
|
changeset |
files
|
| 2015-12-12 |
wenzelm |
clarified ML scopes;
|
changeset |
files
|
| 2015-12-12 |
wenzelm |
tuned;
|
changeset |
files
|
| 2015-12-12 |
wenzelm |
unused;
|
changeset |
files
|
| 2015-12-12 |
wenzelm |
tuned;
|
changeset |
files
|
| 2015-12-11 |
wenzelm |
clarified modules;
|
changeset |
files
|
| 2015-12-12 |
haftmann |
modernized
|
changeset |
files
|
| 2015-12-12 |
haftmann |
modernized
|
changeset |
files
|
| 2015-12-11 |
haftmann |
modernized
|
changeset |
files
|
| 2015-12-10 |
wenzelm |
isabelle update_cartouches -c -t;
|
changeset |
files
|
| 2015-12-10 |
wenzelm |
proper checksum for cygwin-20151210.tar.gz (some snapshot after 1.7.35-1);
|
changeset |
files
|
| 2015-12-10 |
wenzelm |
avoid application spurious startup error;
|
changeset |
files
|
| 2015-12-10 |
wenzelm |
current Cygwin snapshot in preparation of release;
|
changeset |
files
|
| 2015-12-10 |
wenzelm |
hardwired LANG, to avoid sporadic surprises with local environments;
|
changeset |
files
|
| 2015-12-10 |
wenzelm |
make SML/NJ happy;
|
changeset |
files
|
| 2015-12-10 |
paulson |
not_leE -> not_le_imp_less and other tidying
|
changeset |
files
|
| 2015-12-07 |
haftmann |
clarified terminology
|
changeset |
files
|
| 2015-12-09 |
wenzelm |
tuned;
|
changeset |
files
|
| 2015-12-09 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2015-12-09 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2015-12-09 |
wenzelm |
tuned;
|
changeset |
files
|
| 2015-12-09 |
wenzelm |
more direct use of Token.src as token list;
|
changeset |
files
|
| 2015-12-09 |
wenzelm |
merged
|
changeset |
files
|
| 2015-12-09 |
wenzelm |
unused;
|
changeset |
files
|
| 2015-12-09 |
wenzelm |
merged
|
changeset |
files
|
| 2015-12-09 |
wenzelm |
clarified type Token.src: plain token list, with usual implicit value assignment;
|
changeset |
files
|
| 2015-12-09 |
wenzelm |
tuned;
|
changeset |
files
|
| 2015-12-08 |
wenzelm |
tuned;
|
changeset |
files
|
| 2015-12-08 |
wenzelm |
added Proof_Context.add_thms_dynamic, which is potentially useful for Eisbach;
|
changeset |
files
|
| 2015-12-09 |
paulson |
sorted out eventually_mono
|
changeset |
files
|
| 2015-12-08 |
nipkow |
tightened invariant
|
changeset |
files
|
| 2015-12-07 |
wenzelm |
isabelle update_cartouches -c -t;
|
changeset |
files
|
| 2015-12-07 |
paulson |
Merge
|
changeset |
files
|
| 2015-12-07 |
paulson |
Cauchy's integral formula for circles. Starting to fix eventually_mono.
|
changeset |
files
|
| 2015-12-07 |
eberlm |
Merged
|
changeset |
files
|
| 2015-12-07 |
eberlm |
Generalised derivative rule for division on formal power series
|
changeset |
files
|
| 2015-12-07 |
wenzelm |
tuned;
|
changeset |
files
|
| 2015-12-07 |
wenzelm |
more thorough update request: semantic state of command may have changed elsewise;
|
changeset |
files
|
| 2015-12-07 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2015-12-07 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| 2015-12-07 |
wenzelm |
isabelle update_cartouches -c -t;
|
changeset |
files
|
| 2015-12-07 |
wenzelm |
isabelle update_cartouches -c -t;
|
changeset |
files
|
| 2015-12-07 |
wenzelm |
tuned;
|
changeset |
files
|
| 2015-12-06 |
wenzelm |
tuned;
|
changeset |
files
|