# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 52638824253c505e409bbe7a21df80119f3fa667
uuid: 298db71e-dcc6-4f5b-8027-85477efa67a8
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
629b4334d6e19a2024f15c3501423225e1f0381c


