# isabelle_session_info

session_name: POPLmark-deBruijn
sources:
0cecd99749e4f4e4f0eb1e6117325565fcaad58f
20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e
37694fce0e46077c125a67bd1e7a07553ab3dff0
3fe6b6208cb2039d2efcc275e00a493c5bb2a662
4173f2b40848e3bf6f8ac91aa0fc719a39daf67d
4f80c40e3ec199d35a5b808a47d454acffa976c9
e182e99baf7942014270841b40355e1416b27ed6
fc61964320106a1d5751e716b19965af3ea01079

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


