src/Pure/General/change_table.ML
Sat, 06 May 2023 14:18:29 +0200 wenzelm more operations;
Sat, 06 May 2023 13:42:03 +0200 wenzelm more operations;
Fri, 05 May 2023 23:50:31 +0200 wenzelm more operations;
Mon, 27 Mar 2023 21:48:47 +0200 wenzelm performance tuning: prefer functor Set() over Table();
Thu, 13 Mar 2014 17:26:22 +0100 wenzelm more frugal recording of changes: join merely requires information from one side;
Wed, 12 Mar 2014 21:29:46 +0100 wenzelm proper base comparison;
Wed, 12 Mar 2014 21:28:09 +0100 wenzelm tuned;
Tue, 11 Mar 2014 18:36:17 +0100 wenzelm more standard internal data integrity;
Tue, 11 Mar 2014 18:26:47 +0100 wenzelm tables with changes relative to some common base version -- support for efficient join/merge of big global tables with small local updates;
less more (0) tip