# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: cfe33fac0df780dfb3a17c38e7d6aa2211b75331
uuid: f6b20dff-985b-44b7-aa47-5c45d16a34a6
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
664498a91e20fd5c0b811316370a5baa6b5ad5b8


