# isabelle_session_info

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

input_heaps:
19db22422d072d942dca4f79a146f700713ec562
0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b
5ea6d4c9a179122eae31fc1e8edfaccb5e6cc241
5bde4ca1cd15e15f18379869201c7c407ac67b05


