# isabelle_session_info

session_name: HOL-ex
sources: 6cb4a9abf83dfa2d6e1f01c101fb0f9e567e7458
uuid: e724b2a8-bd07-4a0a-9b05-bf4ff6f0b677
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
f41e60420c286d9f824f457ca796f7053aab44e0
84f87d41f39b2a50674715dada74c76aba5d3863
f7ec4bab4f2c7c8ee67b8332ccc9ce8915c508a0


