| 2016-07-11 |
wenzelm |
explicit kind "before_command";
|
changeset |
files
|
| 2016-07-11 |
wenzelm |
clarified indentation involving 'begin';
|
changeset |
files
|
| 2016-07-11 |
wenzelm |
more robust;
|
changeset |
files
|
| 2016-07-11 |
haftmann |
NEWS
|
changeset |
files
|
| 2016-07-11 |
nipkow |
restored executability of cmp
|
changeset |
files
|
| 2016-07-11 |
wenzelm |
merged
|
changeset |
files
|
| 2016-07-11 |
wenzelm |
clarified keywords;
|
changeset |
files
|
| 2016-07-11 |
wenzelm |
more indentation for quasi_command keywords;
|
changeset |
files
|
| 2016-07-11 |
wenzelm |
tuned;
|
changeset |
files
|
| 2016-07-11 |
wenzelm |
tuned;
|
changeset |
files
|
| 2016-07-11 |
wenzelm |
tuned;
|
changeset |
files
|
| 2016-07-10 |
wenzelm |
support for quasi_command keywords;
|
changeset |
files
|
| 2016-07-10 |
wenzelm |
tuned signature: more uniform Keyword.spec;
|
changeset |
files
|
| 2016-07-08 |
wenzelm |
indentation in reminiscence to Proof General (see proof-indent.el);
|
changeset |
files
|
| 2016-07-08 |
wenzelm |
tuned;
|
changeset |
files
|
| 2016-07-08 |
wenzelm |
tuned;
|
changeset |
files
|
| 2016-07-07 |
wenzelm |
tuned;
|
changeset |
files
|
| 2016-07-07 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2016-07-07 |
wenzelm |
more operations;
|
changeset |
files
|
| 2016-07-07 |
wenzelm |
clarified modules;
|
changeset |
files
|
| 2016-07-07 |
wenzelm |
basic setup for indentation;
|
changeset |
files
|
| 2016-07-07 |
wenzelm |
tuned;
|
changeset |
files
|
| 2016-07-07 |
wenzelm |
more operations;
|
changeset |
files
|
| 2016-07-10 |
Lars Hupel |
tuned
|
changeset |
files
|
| 2016-07-09 |
haftmann |
more lemmas to emphasize {0::nat..(<)n} as canonical representation of intervals on nat
|
changeset |
files
|
| 2016-07-08 |
haftmann |
avoid to hide equality behind (output) abbreviation
|
changeset |
files
|
| 2016-07-08 |
haftmann |
default rule for single-step reasoning
|
changeset |
files
|
| 2016-07-08 |
nipkow |
new style dummy_pats
|
changeset |
files
|
| 2016-07-08 |
nipkow |
added path_len
|
changeset |
files
|
| 2016-07-07 |
nipkow |
merged
|
changeset |
files
|
| 2016-07-07 |
nipkow |
got rid of class cmp; added height-size proofs by Daniel Stuewe
|
changeset |
files
|
| 2016-07-07 |
fleury |
more instantiations for multiset
|
changeset |
files
|
| 2016-07-07 |
blanchet |
moved lemmas and locales around (with minor incompatibilities)
|
changeset |
files
|
| 2016-07-06 |
blanchet |
updated example
|
changeset |
files
|
| 2016-07-06 |
blanchet |
leverage new 'order' type class instantiation in multiset
|
changeset |
files
|
| 2016-07-06 |
blanchet |
updated examples
|
changeset |
files
|
| 2016-07-06 |
wenzelm |
merged
|
changeset |
files
|
| 2016-07-06 |
wenzelm |
misc tuning and modernization;
|
changeset |
files
|
| 2016-07-06 |
wenzelm |
proper signature;
|
changeset |
files
|
| 2016-07-06 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2016-07-06 |
Lars Hupel |
simplify build scripts
|
changeset |
files
|
| 2016-07-05 |
wenzelm |
misc tuning and modernization;
|
changeset |
files
|
| 2016-07-05 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2016-07-05 |
wenzelm |
tuned;
|
changeset |
files
|
| 2016-07-05 |
wenzelm |
merged
|
changeset |
files
|
| 2016-07-05 |
wenzelm |
PIDE reports of implicit variable scope;
|
changeset |
files
|
| 2016-07-05 |
wenzelm |
PIDE reports of implicit variable scope;
|
changeset |
files
|
| 2016-07-05 |
wenzelm |
tuned;
|
changeset |
files
|
| 2016-07-05 |
hoelzl |
Probability: simplified Levy's uniqueness theorem
|
changeset |
files
|
| 2016-07-05 |
blanchet |
avoid reference to invisible theorem, by using another one instead (suggested by Anders Schlichtkrull; the document's author is incomunicado)
|
changeset |
files
|
| 2016-07-05 |
blanchet |
tuning
|
changeset |
files
|
| 2016-07-05 |
blanchet |
typo (reported by Anders Schlichtkrull)
|
changeset |
files
|
| 2016-07-05 |
hoelzl |
simplified proof for measurability of isCont
|
changeset |
files
|
| 2016-07-05 |
fleury |
instantiate multiset with multiset ordering
|
changeset |
files
|
| 2016-07-05 |
Lars Hupel |
more accurate total timing
|
changeset |
files
|
| 2016-07-05 |
Lars Hupel |
merged
|
changeset |
files
|
| 2016-07-04 |
Lars Hupel |
tuned
|
changeset |
files
|
| 2016-07-04 |
wenzelm |
merged
|
changeset |
files
|
| 2016-07-04 |
wenzelm |
NEWS;
|
changeset |
files
|
| 2016-07-04 |
wenzelm |
clarified positions, e.g. for reports on literal facts;
|
changeset |
files
|