| 2021-09-19 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2021-09-19 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
| 2021-09-19 |
wenzelm |
clarified signature -- prefer antiquotations (with subtle change of exception content);
|
changeset |
files
|
| 2021-09-19 |
wenzelm |
more control symbols;
|
changeset |
files
|
| 2021-09-19 |
wenzelm |
support ML antiquotations with fn abstraction;
|
changeset |
files
|
| 2021-09-19 |
wenzelm |
unused;
|
changeset |
files
|
| 2021-09-16 |
wenzelm |
clarified operations: follow Isabelle/ML more closely;
|
changeset |
files
|
| 2021-09-15 |
wenzelm |
provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;
|
changeset |
files
|
| 2021-09-15 |
wenzelm |
obsolete;
|
changeset |
files
|
| 2021-09-15 |
wenzelm |
tuned;
|
changeset |
files
|
| 2021-09-15 |
wenzelm |
clarified name and options for old vampire-4.2.2;
|
changeset |
files
|
| 2021-09-13 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2021-09-13 |
haftmann |
explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell)
|
changeset |
files
|
| 2021-09-13 |
wenzelm |
more latex macros;
|
changeset |
files
|
| 2021-09-13 |
wenzelm |
tuned;
|
changeset |
files
|
| 2021-09-13 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2021-09-12 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-12 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-12 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-12 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-12 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-12 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
| 2021-09-12 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-12 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-11 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-11 |
wenzelm |
clarified antiquotation;
|
changeset |
files
|
| 2021-09-11 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-11 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-11 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-11 |
wenzelm |
tuned;
|
changeset |
files
|
| 2021-09-11 |
wenzelm |
ML antiquotations for type constructors and term constants;
|
changeset |
files
|
| 2021-09-11 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-09-10 |
wenzelm |
tuned;
|
changeset |
files
|
| 2021-09-10 |
wenzelm |
NEWS;
|
changeset |
files
|
| 2021-09-10 |
wenzelm |
miscellaneous examples and experiments for Isabelle/Pure;
|
changeset |
files
|
| 2021-09-10 |
wenzelm |
tuned comments;
|
changeset |
files
|
| 2021-09-10 |
wenzelm |
unused;
|
changeset |
files
|
| 2021-09-10 |
wenzelm |
clarified order of extra TFrees: underlying fast_string_ord coincides with Name.invent (e.g. from type inference);
|
changeset |
files
|
| 2021-09-10 |
wenzelm |
NEWS;
|
changeset |
files
|
| 2021-09-10 |
wenzelm |
clarified signature: more scalable operations;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
more scalable operations;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
more scalable operations;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
clarified order of extra type variables, following names more often than occurrences;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
tuned;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
more scalable operations;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
omit obsolete field "xs": originally from fd0f8fa2b6bd, but later unused;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
more robust: client could have terminated already;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
clarified modules;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
clarified set of items with order of addition;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
tuned message;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2021-09-09 |
wenzelm |
tuned;
|
changeset |
files
|
| 2021-09-08 |
wenzelm |
simplified: uniqueness check happens in export_consumer;
|
changeset |
files
|
| 2021-09-07 |
wenzelm |
more markup, e.g. to locate defining theory node in formal document output;
|
changeset |
files
|
| 2021-09-07 |
wenzelm |
tuned signature;
|
changeset |
files
|