# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 83a8dc5acf6bd60ba4dfd5e7c7fa6e3912f5555f
uuid: 274e4f0c-116e-49fb-92f4-b2fadae3300c
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
ea55cc6d20ed0b560f63ab5dace339389b200e4d


