wenzelm [Tue, 26 Oct 2021 22:58:20 +0200] rev 74597
merged
wenzelm [Tue, 26 Oct 2021 22:26:47 +0200] rev 74596
tuned, continuing e955964d89cb;
wenzelm [Tue, 26 Oct 2021 22:04:33 +0200] rev 74595
avoid waste of resources due to dynamic simpset (amending 45c09620f726);
Norbert Schirmer <nschirmer@apple.com> [Tue, 26 Oct 2021 17:14:16 +0200] rev 74594
fix latex
wenzelm [Tue, 26 Oct 2021 16:01:05 +0200] rev 74593
clarified modules;
haftmann [Tue, 26 Oct 2021 14:43:59 +0000] rev 74592
more generic bit/word lemmas for distribution
paulson [Tue, 26 Oct 2021 16:22:03 +0100] rev 74591
merged
paulson <lp15@cam.ac.uk> [Tue, 26 Oct 2021 11:15:40 +0100] rev 74590
Added / moved some simple set-theoretic lemmas
wenzelm [Tue, 26 Oct 2021 15:11:40 +0200] rev 74589
more CONTRIBUTORS and NEWS;
Norbert Schirmer <nschirmer@apple.com> [Tue, 19 Oct 2021 10:41:38 +0200] rev 74588
cleanup; add Apple reference
Norbert Schirmer <nschirmer@apple.com> [Thu, 15 Jul 2021 08:09:10 +0200] rev 74587
refine interface
Norbert Schirmer <nschirmer@apple.com> [Thu, 12 Nov 2020 17:01:52 +0100] rev 74586
generalized component lookup for syntax and distinctness proofs. added some tracing.
wenzelm [Mon, 25 Oct 2021 23:10:06 +0200] rev 74585
merged
wenzelm [Mon, 25 Oct 2021 21:58:11 +0200] rev 74584
tuned;
wenzelm [Mon, 25 Oct 2021 21:46:38 +0200] rev 74583
more antiquotations;
wenzelm [Mon, 25 Oct 2021 21:31:35 +0200] rev 74582
more antiquotations;
wenzelm [Mon, 25 Oct 2021 20:38:58 +0200] rev 74581
more robust: genuinely free variables need to be instantiated;
wenzelm [Mon, 25 Oct 2021 19:52:12 +0200] rev 74580
tuned comments;
wenzelm [Mon, 25 Oct 2021 19:23:09 +0200] rev 74579
clarified errors;
wenzelm [Mon, 25 Oct 2021 17:40:49 +0200] rev 74578
tuned;
wenzelm [Mon, 25 Oct 2021 17:37:24 +0200] rev 74577
clarified instantiation: local beta reduction after substitution, as for Envir.expand_term_defs;
wenzelm [Mon, 25 Oct 2021 17:26:27 +0200] rev 74576
tuned;
wenzelm [Mon, 25 Oct 2021 11:41:03 +0200] rev 74575
clarified signature -- avoid clones;
paulson <lp15@cam.ac.uk> [Mon, 25 Oct 2021 13:56:08 +0100] rev 74574
Refinement of partitions
wenzelm [Sun, 24 Oct 2021 22:10:28 +0200] rev 74573
avoid persistence of static context: instantiation arguments should provide proper dynamic context;
wenzelm [Sun, 24 Oct 2021 21:59:36 +0200] rev 74572
more antiquotations;
wenzelm [Sun, 24 Oct 2021 21:19:55 +0200] rev 74571
more markup;
wenzelm [Sun, 24 Oct 2021 20:25:51 +0200] rev 74570
clarified name, syntax, messages;
wenzelm [Sun, 24 Oct 2021 18:29:21 +0200] rev 74569
more antiquotations;
wenzelm [Sun, 24 Oct 2021 18:02:58 +0200] rev 74568
more control symbols;