# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 3d6b63170513e65a9bdaaa39ca84b1b9c7f72e89
uuid: 8b3c80d5-ebb4-4a8f-93f9-e8f6259adec7
input_heaps:
69be247dc43ecdde6ec938bd8fd1f08b57428e94
a98d9216082127df82717ef1b3320db859025f77
56a147a0185cce5160f925d498ac13dd2eacb7d3


