# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 78a274f0f120a466e065ed5b74b4e21d9404c6c5
uuid: 6cec17d1-855e-4b62-b20b-4dd13d292dfa
input_heaps:
8c2ad67f41d2a030f0393e2fbd1c88a540b55845
2fa6c96befd2c17f29a768fc6a6e8049b259612c
68fdfbd68244a9601fd52de5f492afc81d3b228a


