# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 05b461d832479396fd615021f31261f7472190ef
uuid: 59633310-af35-4fa6-bf69-fc6a90e23791
input_heaps:
25053daef14bdf81b40a55488fbd8aed7b8017ad
2c6045dd5185bb7b47ef2de7fbe1577fe4833350
03aa0939e8a48a55bf99a31f54ae46cb6b5be497


