# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: ee3008a4e4fcfa770bdce9a03f2705709a528400
input_heaps:
92db83aab1d6ceba9962fdc7de00abde8b26320f
a20c3baeed3cffdd830de0846311cdec3c8045b0
5d4a20255d168d8740b3364b5d493f3a7d5c3450


