# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 525b15045d02095505f4b7a1ed506c8e11ca3bd9
input_heaps:
32b9ec70ea049b767adaf0015bd3835a109dabc5
bc84ff3ffc01031739db0ee1618c26d14f5d0c65
f3ac14b5bccced0316ff61356000c5f01bbf40e0


