Tue, 12 May 2020 16:53:13 +0100 merged
paulson [Tue, 12 May 2020 16:53:13 +0100] rev 72058
merged
Tue, 12 May 2020 16:29:26 +0200 clarified session imports: avoid bulky HOL-Library image;
wenzelm [Tue, 12 May 2020 16:29:26 +0200] rev 72057
clarified session imports: avoid bulky HOL-Library image;
Tue, 12 May 2020 15:52:17 +0200 tuned -- avoid warning;
wenzelm [Tue, 12 May 2020 15:52:17 +0200] rev 72056
tuned -- avoid warning;
Tue, 12 May 2020 16:53:02 +0100 Fixes for Sup{} = (0::nat)
paulson <lp15@cam.ac.uk> [Tue, 12 May 2020 16:53:02 +0100] rev 72055
Fixes for Sup{} = (0::nat)
Tue, 12 May 2020 15:11:20 +0100 abbrevs for the Uniq quantifier; trying Sup_nat_def to allow zero (experimentally)
paulson <lp15@cam.ac.uk> [Tue, 12 May 2020 15:11:20 +0100] rev 72054
abbrevs for the Uniq quantifier; trying Sup_nat_def to allow zero (experimentally)
Tue, 12 May 2020 10:59:59 +0200 "app" -> "join" for RBTs
nipkow [Tue, 12 May 2020 10:59:59 +0200] rev 72053
"app" -> "join" for RBTs
Tue, 12 May 2020 10:24:53 +0200 "app" -> "join" for uniformity with Join theory; tuned defs
nipkow [Tue, 12 May 2020 10:24:53 +0200] rev 72052
"app" -> "join" for uniformity with Join theory; tuned defs
Mon, 11 May 2020 19:41:31 +0200 added top-level functions and tuned
nipkow [Mon, 11 May 2020 19:41:31 +0200] rev 72051
added top-level functions and tuned
Mon, 11 May 2020 11:15:41 +0100 the Uniq quantifier
paulson <lp15@cam.ac.uk> [Mon, 11 May 2020 11:15:41 +0100] rev 72050
the Uniq quantifier
Sat, 09 May 2020 17:20:04 +0000 modernized notation for bit operations
haftmann [Sat, 09 May 2020 17:20:04 +0000] rev 72049
modernized notation for bit operations
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip