# isabelle_session_info

session_name: HOL-ex
sources: b5a173b65d7fe7b0bc8a04b47d3bcc7f40abd3a5
input_heaps:
7807f31208a9568bd30608d7be9668a1a8f218a5
80156b25cd81847161b976044fa2b16cc5837cad
d32a278ac349bf4da7f160701da7807f2c161922
5e9d0b16c5f676aa3d8da200d1c6c5f23785be17
a57b19055f97c623a990d5205ef381aa39b5e812


