# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: a944e1fd4921af8066db4e4e3ba22474dd04824f
input_heaps:
7d19cb1bdc7d0c9728aa6789ebe077e650534e03
04c4981d19dd71a790541c21d8984c7c9f4e9558
524a5819ae72b6396120725fea72a837f54d2ebd


