Thu, 22 Oct 2020 14:03:40 +0200 | various trials to decompose Isabelle's proof machinery | file | diff | annotate |
Thu, 13 Mar 2014 17:26:22 +0100 | more frugal recording of changes: join merely requires information from one side; | file | diff | annotate |
Wed, 12 Mar 2014 21:29:46 +0100 | proper base comparison; | file | diff | annotate |
Wed, 12 Mar 2014 21:28:09 +0100 | tuned; | file | diff | annotate |
Tue, 11 Mar 2014 18:36:17 +0100 | more standard internal data integrity; | file | diff | annotate |
Tue, 11 Mar 2014 18:26:47 +0100 | tables with changes relative to some common base version -- support for efficient join/merge of big global tables with small local updates; | file | diff | annotate |