# isabelle_session_info

session_name: HOL-ex
sources: ef3f36d67a93bb7d9e18523a36dd06fea02fd6db
input_heaps:
ad95178f9cc8aa8a55e83db54baad3cdb12343fd
1699cd031ea33bc672c8b13b97dd8c83db33689f
6f1a5e54ec9cebb88fe3f32017a0814fbca3ab55
17c53773c61163e998c5ef8f93ce5911d914bcd5
07dec573d9f0c785428975386a5fb57198d5249c


