| 2021-10-26 |
Norbert Schirmer |
fix latex
|
changeset |
files
|
| 2021-10-26 |
wenzelm |
clarified modules;
|
changeset |
files
|
| 2021-10-26 |
haftmann |
more generic bit/word lemmas for distribution
|
changeset |
files
|
| 2021-10-26 |
paulson |
merged
|
changeset |
files
|
| 2021-10-26 |
paulson |
Added / moved some simple set-theoretic lemmas
|
changeset |
files
|
| 2021-10-26 |
wenzelm |
more CONTRIBUTORS and NEWS;
|
changeset |
files
|
| 2021-10-19 |
Norbert Schirmer |
cleanup; add Apple reference
|
changeset |
files
|
| 2021-07-15 |
Norbert Schirmer |
refine interface
|
changeset |
files
|
| 2020-11-12 |
Norbert Schirmer |
generalized component lookup for syntax and distinctness proofs. added some tracing.
|
changeset |
files
|
| 2021-10-25 |
wenzelm |
merged
|
changeset |
files
|
| 2021-10-25 |
wenzelm |
tuned;
|
changeset |
files
|
| 2021-10-25 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-10-25 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-10-25 |
wenzelm |
more robust: genuinely free variables need to be instantiated;
|
changeset |
files
|
| 2021-10-25 |
wenzelm |
tuned comments;
|
changeset |
files
|
| 2021-10-25 |
wenzelm |
clarified errors;
|
changeset |
files
|
| 2021-10-25 |
wenzelm |
tuned;
|
changeset |
files
|
| 2021-10-25 |
wenzelm |
clarified instantiation: local beta reduction after substitution, as for Envir.expand_term_defs;
|
changeset |
files
|
| 2021-10-25 |
wenzelm |
tuned;
|
changeset |
files
|
| 2021-10-25 |
wenzelm |
clarified signature -- avoid clones;
|
changeset |
files
|
| 2021-10-25 |
paulson |
Refinement of partitions
|
changeset |
files
|
| 2021-10-24 |
wenzelm |
avoid persistence of static context: instantiation arguments should provide proper dynamic context;
|
changeset |
files
|
| 2021-10-24 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-10-24 |
wenzelm |
more markup;
|
changeset |
files
|
| 2021-10-24 |
wenzelm |
clarified name, syntax, messages;
|
changeset |
files
|
| 2021-10-24 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| 2021-10-24 |
wenzelm |
more control symbols;
|
changeset |
files
|
| 2021-10-24 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 2021-10-24 |
wenzelm |
ML antiquotations to instantiate types/terms/props;
|
changeset |
files
|
| 2021-10-21 |
wenzelm |
tuned;
|
changeset |
files
|
| 2021-10-21 |
wenzelm |
clarified modules;
|
changeset |
files
|
| 2021-10-20 |
wenzelm |
clarified modules;
|
changeset |
files
|
| 2021-10-20 |
wenzelm |
clarified modules;
|
changeset |
files
|
| 2021-10-20 |
wenzelm |
discontinued obsolete "val extend = I" for data slots;
|
changeset |
files
|
| 2021-10-20 |
wenzelm |
clarified modules;
|
changeset |
files
|
| 2021-10-20 |
wenzelm |
clarified modules;
|
changeset |
files
|
| 2021-10-20 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2021-10-20 |
wenzelm |
tuned;
|
changeset |
files
|
| 2021-10-20 |
wenzelm |
clarified keywords and reports;
|
changeset |
files
|
| 2021-10-20 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 2021-10-20 |
desharna |
merged
|
changeset |
files
|
| 2021-10-19 |
desharna |
proper veriT --max-time option
|
changeset |
files
|
| 2021-10-19 |
desharna |
refactored tptp_builtins in Sledgehammer
|
changeset |
files
|
| 2021-10-19 |
wenzelm |
merged
|
changeset |
files
|
| 2021-10-19 |
wenzelm |
tuned ML --- clarified use of context;
|
changeset |
files
|
| 2021-10-19 |
wenzelm |
tuned --- fewer clones;
|
changeset |
files
|
| 2021-10-19 |
wenzelm |
updated to jEdit plugin Highlight 2.5;
|
changeset |
files
|
| 2021-10-19 |
wenzelm |
proper tactic combinator;
|
changeset |
files
|
| 2021-10-19 |
wenzelm |
proper file headers;
|
changeset |
files
|
| 2021-10-19 |
wenzelm |
clarified context;
|
changeset |
files
|
| 2021-10-19 |
wenzelm |
more accurate treatment of context;
|
changeset |
files
|
| 2021-10-19 |
Manuel Eberl |
updated email address
|
changeset |
files
|
| 2021-10-15 |
Manuel Eberl |
removed some 'private' modifiers from HOL-Computational_Algebra
|
changeset |
files
|
| 2021-10-18 |
wenzelm |
merged
|
changeset |
files
|
| 2021-10-18 |
wenzelm |
merged
|
changeset |
files
|
| 2021-10-18 |
wenzelm |
more robust Variable.revert_bounds (see also b12f2cef3ee5);
|
changeset |
files
|
| 2021-10-17 |
wenzelm |
more accurate treatment of context;
|
changeset |
files
|
| 2021-10-17 |
wenzelm |
tuned -- proper names/scopes for contexts;
|
changeset |
files
|
| 2021-10-16 |
wenzelm |
clarified context;
|
changeset |
files
|
| 2021-10-16 |
wenzelm |
clarified context;
|
changeset |
files
|