Tue, 01 Sep 2020 17:51:20 +0200 unused (see also 7b318273a4aa);
wenzelm [Tue, 01 Sep 2020 17:51:20 +0200] rev 72234
unused (see also 7b318273a4aa);
Tue, 01 Sep 2020 16:57:54 +0200 tuned proofs;
wenzelm [Tue, 01 Sep 2020 16:57:54 +0200] rev 72233
tuned proofs;
Mon, 31 Aug 2020 22:05:05 +0200 proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
wenzelm [Mon, 31 Aug 2020 22:05:05 +0200] rev 72232
proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
Mon, 31 Aug 2020 17:18:47 +0100 a new lemma
paulson <lp15@cam.ac.uk> [Mon, 31 Aug 2020 17:18:47 +0100] rev 72231
a new lemma
Mon, 31 Aug 2020 16:48:31 +0200 more informative bibtex errors;
wenzelm [Mon, 31 Aug 2020 16:48:31 +0200] rev 72230
more informative bibtex errors;
Sun, 30 Aug 2020 21:21:04 +0100 merged
paulson [Sun, 30 Aug 2020 21:21:04 +0100] rev 72229
merged
Sun, 30 Aug 2020 19:45:46 +0100 minor tidying, also s->S and t->T
paulson <lp15@cam.ac.uk> [Sun, 30 Aug 2020 19:45:46 +0100] rev 72228
minor tidying, also s->S and t->T
Sun, 30 Aug 2020 15:15:28 +0000 more on conversions
haftmann [Sun, 30 Aug 2020 15:15:28 +0000] rev 72227
more on conversions
Sat, 29 Aug 2020 16:30:33 +0100 merged
paulson [Sat, 29 Aug 2020 16:30:33 +0100] rev 72226
merged
Sat, 29 Aug 2020 16:30:22 +0100 quite a bit of tidying
paulson <lp15@cam.ac.uk> [Sat, 29 Aug 2020 16:30:22 +0100] rev 72225
quite a bit of tidying
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip