# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 83a8dc5acf6bd60ba4dfd5e7c7fa6e3912f5555f
uuid: 36ba5b6e-5f8a-4a00-a589-18eab5056971
input_heaps:
b8a6b7f3ead9e69e49adda3f314835db8ecb2a6f
88a6ad11863aa7909374441b2475843141e4c25c
3c19ac5803b7e34cf46729d33d06863a37704171


