wenzelm [Tue, 07 Sep 2021 15:15:13 +0200] rev 74254
tuned signature;
wenzelm [Tue, 07 Sep 2021 15:10:53 +0200] rev 74253
tuned signature;
wenzelm [Tue, 07 Sep 2021 15:05:57 +0200] rev 74252
tuned signature;
wenzelm [Tue, 07 Sep 2021 15:02:53 +0200] rev 74251
tuned;
wenzelm [Tue, 07 Sep 2021 10:17:03 +0200] rev 74250
merged
wenzelm [Mon, 06 Sep 2021 14:05:22 +0200] rev 74249
clarified modules;
wenzelm [Mon, 06 Sep 2021 13:49:36 +0200] rev 74248
more scalable operations;
wenzelm [Mon, 06 Sep 2021 12:46:08 +0200] rev 74247
more scalable operations;
wenzelm [Mon, 06 Sep 2021 12:25:19 +0200] rev 74246
tuned;
wenzelm [Mon, 06 Sep 2021 12:23:06 +0200] rev 74245
clarified modules;
wenzelm [Mon, 06 Sep 2021 12:11:17 +0200] rev 74244
clarified signature;
minor performance tuning;
wenzelm [Mon, 06 Sep 2021 11:55:54 +0200] rev 74243
more scalable operations;
wenzelm [Mon, 06 Sep 2021 11:39:44 +0200] rev 74242
unused;
wenzelm [Mon, 06 Sep 2021 11:32:18 +0200] rev 74241
more efficient operations: traverse hyps only when required;
wenzelm [Sun, 05 Sep 2021 23:21:32 +0200] rev 74240
more robust signature: result has no particular order;
wenzelm [Sun, 05 Sep 2021 21:09:31 +0200] rev 74239
more scalable operations;
wenzelm [Sun, 05 Sep 2021 19:47:06 +0200] rev 74238
unused;
wenzelm [Sun, 05 Sep 2021 19:38:36 +0200] rev 74237
more scalable operations;
wenzelm [Sat, 04 Sep 2021 22:26:48 +0200] rev 74236
clarified;
wenzelm [Sat, 04 Sep 2021 22:17:15 +0200] rev 74235
tuned signature;
wenzelm [Sat, 04 Sep 2021 22:05:35 +0200] rev 74234
clarified signature;
wenzelm [Sat, 04 Sep 2021 21:45:43 +0200] rev 74233
more scalable operations;
wenzelm [Sat, 04 Sep 2021 21:25:08 +0200] rev 74232
clarified signature;
wenzelm [Sat, 04 Sep 2021 20:01:43 +0200] rev 74231
tuned signature;
wenzelm [Sat, 04 Sep 2021 18:21:58 +0200] rev 74230
more scalable operations;
wenzelm [Sat, 04 Sep 2021 14:46:32 +0200] rev 74229
more scalable operations;
wenzelm [Sat, 04 Sep 2021 14:18:44 +0200] rev 74228
more scalable operations;
tuned;
wenzelm [Sat, 04 Sep 2021 13:49:26 +0200] rev 74227
more scalable operations;
paulson <lp15@cam.ac.uk> [Sat, 04 Sep 2021 11:22:24 +0100] rev 74226
white space
paulson [Fri, 03 Sep 2021 22:53:11 +0100] rev 74225
merged
paulson <lp15@cam.ac.uk> [Fri, 03 Sep 2021 22:52:51 +0100] rev 74224
some fixes connected with card_Diff_singleton
paulson <lp15@cam.ac.uk> [Fri, 03 Sep 2021 18:20:13 +0100] rev 74223
strengthened a few lemmas about finite sets and added a code equation for complex_of_real
wenzelm [Fri, 03 Sep 2021 19:56:03 +0200] rev 74222
tuned;
wenzelm [Fri, 03 Sep 2021 19:55:57 +0200] rev 74221
proper inst table;
wenzelm [Fri, 03 Sep 2021 18:57:33 +0200] rev 74220
more scalable data structure (but: rarely used many arguments);
wenzelm [Fri, 03 Sep 2021 14:34:14 +0200] rev 74219
minor performance tuning: fewer allocations;
clarified theory context;
wenzelm [Tue, 31 Aug 2021 13:54:31 +0200] rev 74218
tuned;
wenzelm [Mon, 30 Aug 2021 21:45:05 +0200] rev 74217
more Isabelle/Haskell operations;
wenzelm [Mon, 30 Aug 2021 21:41:37 +0200] rev 74216
more Isabelle/Haskell operations;
tuned;
wenzelm [Mon, 30 Aug 2021 21:18:49 +0200] rev 74215
avoid change of existing file, notably rebuild via ghc_stack;
wenzelm [Mon, 30 Aug 2021 21:10:13 +0200] rev 74214
tuned signature;
wenzelm [Sun, 29 Aug 2021 13:16:22 +0200] rev 74213
more Isabelle/Haskell operations;
wenzelm [Sun, 29 Aug 2021 12:04:55 +0200] rev 74212
clarified process description;
wenzelm [Sat, 28 Aug 2021 23:11:20 +0200] rev 74211
more Isabelle/Haskell operations;
wenzelm [Sat, 28 Aug 2021 12:33:43 +0200] rev 74210
clarified signature;
wenzelm [Fri, 27 Aug 2021 21:56:42 +0200] rev 74209
more Isabelle/Haskell;
blanchet [Fri, 27 Aug 2021 15:21:57 +0200] rev 74208
made sure lambda-lifting works well with native let binders in Sledgehammer
blanchet [Fri, 27 Aug 2021 14:29:02 +0200] rev 74207
handle Zipperposition's ResourceOut gracefully