# isabelle_session_info

session_name: HOL-ex
sources: d8e23914c32f962911c9e95aa24da9b48c73b68e
input_heaps:
faa8b495fa5af96c8c56c0551bb90d9ba32b2c3f
d1d2032238c468abca1ef011649a34b8c92c2bd6
98929d9e7d4995174408b42dca330fcfe05f33e3
191f6935e399c5e739af5569f6d06afe4ab0afed
68e95b50053c7d550e8db861a213337bdd9b9ff5


