# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: c77c003031d91b4023925382a88ff18007b76d0b
uuid: 9a4820e6-32b4-4a45-86e1-85c8f793e16b
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
6daf18f4855a1124051cbde926c9686f5570e093


