# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: fef8abcce4ac5e5406a735586cd20c0878c66d21
input_heaps:
971b735bb93991ebc30ab05e1c5d2490d534dd41
5e6da02360216761c8e3eeec3df5cdc5e01ade87
cd005c5df8a5f1c80b3276163eb097e8f896f33e


