# isabelle_session_info

session_name: ZF-UNITY
sources: e6039ca0787d1e24a434013d1e113361193e89af
input_heaps:
eaa94e7560b78888e2ccc5df82217e3fa99ea515
72c682c9c5c3d0580f23560d73e30cc6b6634026
5d1bc5b19bbf8f54d6590919dc26894ab5913011


