# isabelle_session_info

session_name: Old_Datatype_Show
sources:
1bb1a5dd4dab8449a1af7759e593cdcf3d7f6e1a
44005cb44697f00431d105aac4daa27fef707e9a
9321b1493941ea7d671ee813515aeafc2e3ea891
aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f
cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d
e0b1bb2a52263c4c52e1ff5e501cf30926a0c8b7

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
b8364730b18379cc5c7631ed9e271d2e8eb5e2eb


