# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 8082c75cee4da96128d31d37e7c5d3a2613f58c9
uuid: 3195438f-3365-48a3-9456-bcf0b13acfe7
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
d54b2acc9dae828b9e04868d1aaac6710f70e08b
82162a8631e7af18f84939893d8bd4408c8a1cc0


