src/Pure/General/change_table.ML
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