wenzelm [Mon, 20 Jan 2025 23:00:17 +0100] rev 81933
more comments;
more authors;
wenzelm [Mon, 20 Jan 2025 22:53:51 +0100] rev 81932
cleanup generated bounds;
wenzelm [Mon, 20 Jan 2025 12:11:36 +0100] rev 81931
discontinue special treatment of HOL Light CONJUNCTS: this is better done in Isabelle;
wenzelm [Mon, 20 Jan 2025 11:38:47 +0100] rev 81930
clarified bundle names, in terms of the "offline" tool;
option to preserve raw proofs, to allow manual experimentation with "offline" and its "maps.lst";
wenzelm [Sun, 19 Jan 2025 23:48:17 +0100] rev 81929
proper result from "offline" tool;
wenzelm [Sun, 19 Jan 2025 21:02:03 +0100] rev 81928
optional maps.lst;
wenzelm [Sun, 19 Jan 2025 15:36:12 +0100] rev 81927
tuned output: proper progress;
wenzelm [Sun, 19 Jan 2025 15:13:42 +0100] rev 81926
support tracing (with proper guard);
clarified signature: more explicit type name;
wenzelm [Sun, 19 Jan 2025 14:33:14 +0100] rev 81925
more README;
wenzelm [Sun, 19 Jan 2025 14:23:13 +0100] rev 81924
allow to load additional HOL Light files, after "hol.ml";
wenzelm [Sat, 18 Jan 2025 23:46:46 +0100] rev 81923
more complete bundle;
wenzelm [Sat, 18 Jan 2025 23:37:44 +0100] rev 81922
tuned README;