wenzelm [Sun, 26 Feb 2023 20:27:11 +0100] rev 77382
enforce rebuild of Isabelle/ML, after various changes to build database management;
wenzelm [Sun, 26 Feb 2023 20:19:01 +0100] rev 77381
misc tuning and clarification: more uniform use of optional "sql" in SQL.Table.delete/select;
wenzelm [Sun, 26 Feb 2023 19:18:24 +0100] rev 77380
tuned: fewer warnings in IntelliJ IDEA;
wenzelm [Sun, 26 Feb 2023 19:14:47 +0100] rev 77379
clarified init_database vs. update_database: implicitly assume fresh "instance";
wenzelm [Sun, 26 Feb 2023 18:52:33 +0100] rev 77378
clarified Build_Process.Context: cover all static information;
wenzelm [Sun, 26 Feb 2023 14:27:21 +0100] rev 77377
tuned whitespace in generated SQL;
wenzelm [Sun, 26 Feb 2023 14:15:31 +0100] rev 77376
tuned: prefer typed operations;
wenzelm [Sun, 26 Feb 2023 13:50:07 +0100] rev 77375
clarified signature: more concise operations;
wenzelm [Sun, 26 Feb 2023 13:15:41 +0100] rev 77374
more robust options in "prefs" format: avoid odd control character;
wenzelm [Sun, 26 Feb 2023 13:06:19 +0100] rev 77373
proper settings for hostname: allow to adjust it in user space;
wenzelm [Sun, 26 Feb 2023 11:55:24 +0100] rev 77372
support for build database: still inactive;
more detailed Build_Job.Node_Info;
wenzelm [Sat, 25 Feb 2023 17:45:10 +0100] rev 77371
tuned signature;
wenzelm [Sat, 25 Feb 2023 14:33:19 +0100] rev 77370
clarified signature: more robust operations;
wenzelm [Fri, 24 Feb 2023 20:52:35 +0100] rev 77369
tuned;
wenzelm [Fri, 24 Feb 2023 20:40:50 +0100] rev 77368
tuned;
wenzelm [Fri, 24 Feb 2023 20:23:48 +0100] rev 77367
more operations;
wenzelm [Fri, 24 Feb 2023 12:40:40 +0100] rev 77366
clarified signature: more operations;
wenzelm [Fri, 24 Feb 2023 11:45:39 +0100] rev 77365
clarified signature;
wenzelm [Fri, 24 Feb 2023 11:38:43 +0100] rev 77364
clarified signature: more robust (see also cf2ef4be3630);
wenzelm [Fri, 24 Feb 2023 11:07:31 +0100] rev 77363
unused (see also 7b318273a4aa and a1fb4d28e609);
paulson <lp15@cam.ac.uk> [Sat, 25 Feb 2023 17:35:48 +0000] rev 77362
tidying ugly proofs
nipkow [Fri, 24 Feb 2023 13:14:50 +0100] rev 77361
brought back [...] maplet syntax
paulson [Fri, 24 Feb 2023 10:59:59 +0000] rev 77360
merged
paulson <lp15@cam.ac.uk> [Thu, 23 Feb 2023 16:17:04 +0000] rev 77359
has_sum now an infix operator!!
paulson [Thu, 23 Feb 2023 15:21:22 +0000] rev 77358
merged
paulson <lp15@cam.ac.uk> [Thu, 23 Feb 2023 15:21:14 +0000] rev 77357
New material contributed by Manuel
nipkow [Thu, 23 Feb 2023 22:04:32 +0100] rev 77356
Map.empty no longer output abbreviation; %_. None is shorter and requires no explanation
desharna [Thu, 23 Feb 2023 15:37:17 +0100] rev 77355
added lemmas strict_subset_implies_multpDM and strict_subset_implies_multpHO
desharna [Thu, 23 Feb 2023 12:35:37 +0100] rev 77354
added lemma multpDM_plus_plusI[simp]
desharna [Thu, 23 Feb 2023 12:31:46 +0100] rev 77353
added lemmas multpDM_mono_strong and multpHO_mono_strong