# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 2668bddb0a7b9091c35fd0fc2bb20baf8a02170c
uuid: b927c9c5-488d-442f-bec0-2aa9ad8de588
input_heaps:
16995642ff9d6d081fe3569bf6578b599bfc50b5
e2f00078e9a5e8bef38f416fe533f4c0bd843120
6d5104ef027c2cb96597dd4d7f68c04f0ec298cd


