# isabelle_session_info

session_name: HOL-ex
sources: 987436ea0a45159ee90141f66906d631ac42aca8
input_heaps:
971b735bb93991ebc30ab05e1c5d2490d534dd41
5e6da02360216761c8e3eeec3df5cdc5e01ade87
cd005c5df8a5f1c80b3276163eb097e8f896f33e
88490dc945ab63e27862a3d105feff0388613aff
baae2fe9e14673ea526deb45aaca6ee2a3109f86


