# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12
c62f2a770c1f17f4a45bb3420b5116c46b8e897e


