# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1646221757 0
# Node ID 43b87bab0dac3ff7fbb64d4e9bc31d382bff2b76
# Parent  222333d2bdc27ab4132981e0576b8561f6b84668# Parent  65e786a583652298dfeb4101da09bc1fd8a5e998
merged (possibly destroyed things?)

diff -r 222333d2bdc2 -r 43b87bab0dac thys2/SizeBound6CT.thy