wenzelm [Thu, 12 Jan 2023 20:09:08 +0100] rev 76957
avoid confusion of markup element vs. property names;
wenzelm [Thu, 12 Jan 2023 19:48:47 +0100] rev 76956
clarified Latex markup: optional cite "location" consists of nested document text;
wenzelm [Thu, 12 Jan 2023 16:01:49 +0100] rev 76955
more explicit latex markup;
wenzelm [Wed, 11 Jan 2023 15:00:06 +0100] rev 76954
follow recent changes of Sledgehammer defaults, as 0a46b3dbd5ad exposes a hint in the source text;
paulson <lp15@cam.ac.uk> [Sun, 15 Jan 2023 15:58:05 +0000] rev 76953
One messy, messy proof
paulson <lp15@cam.ac.uk> [Sat, 14 Jan 2023 21:42:08 +0000] rev 76952
Missing theorem restored
paulson <lp15@cam.ac.uk> [Sat, 14 Jan 2023 16:53:54 +0000] rev 76951
Tidying up BNF
paulson <lp15@cam.ac.uk> [Fri, 13 Jan 2023 22:47:40 +0000] rev 76950
More cleaning up proofs, plus a TeX fix
paulson <lp15@cam.ac.uk> [Fri, 13 Jan 2023 16:44:00 +0000] rev 76949
Fixed a broken proof
paulson <lp15@cam.ac.uk> [Fri, 13 Jan 2023 16:19:56 +0000] rev 76948
Substantial simplification of HOL-Cardinals
paulson [Fri, 13 Jan 2023 11:05:48 +0000] rev 76947
merged
paulson <lp15@cam.ac.uk> [Thu, 12 Jan 2023 17:12:36 +0000] rev 76946
Trying to clean up HOL/Cardinals
desharna [Thu, 12 Jan 2023 15:46:44 +0100] rev 76945
added session to mirabelle output directory structure
paulson <lp15@cam.ac.uk> [Wed, 11 Jan 2023 17:02:52 +0000] rev 76944
More tidying of topology proofs
paulson <lp15@cam.ac.uk> [Wed, 11 Jan 2023 13:41:53 +0000] rev 76943
Partial round of clearing up applys, etc
paulson [Tue, 10 Jan 2023 11:06:20 +0000] rev 76942
merged
paulson [Mon, 09 Jan 2023 17:16:22 +0000] rev 76941
merged
paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2023 17:16:04 +0000] rev 76940
Substantial de-applying and streamlining
desharna [Mon, 09 Jan 2023 19:52:32 +0100] rev 76939
tuned sledgehammer default provers to only include local ones
wenzelm [Fri, 06 Jan 2023 17:59:56 +0100] rev 76938
enforce rebuild of Isabelle/ML to update build databases;
wenzelm [Fri, 06 Jan 2023 17:58:49 +0100] rev 76937
prefer relative src_path (if possible) -- in contrast to 9ce0aa145d21:
wenzelm [Fri, 06 Jan 2023 17:20:53 +0100] rev 76936
proper treatment of unicode_symbols;
wenzelm [Fri, 06 Jan 2023 16:54:16 +0100] rev 76935
tuned signature: avoid alias that is unclear wrt. lazy state and Symbol.encode/decode status;
wenzelm [Fri, 06 Jan 2023 16:50:43 +0100] rev 76934
removed unused operation: unclear wrt. Symbol.encode/decode status;