# isabelle_session_info

session_name: Old_Datatype_Show
sources:
13305432bc3653e20afe426f74c9f95e21f296bb
71c53efd96ce8de74225c95ab93af522d4677a3d
9321b1493941ea7d671ee813515aeafc2e3ea891
aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f
c9d6170601a0c08271763a38692e57cf22fb5bc5
cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a
bc3e827d687a0175993f83583e863c63620e2853


