# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 59ed84a4f5e8578b6b173c270b4240bd8fa56c91
uuid: 3f7e5478-464e-45cf-8313-125f80964bb1
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
b5248a18d66475fc1bc6569462467f96de11ceea


