# isabelle_session_info

session_name: ZF-UNITY
sources: 69bef42575c240de2531927be4ba6d0b4694e15d
input_heaps:
c68b30ad566b49580fe13839f7a432f3076bf46c
a8a477c29268f866196e255e416209e645947c3b
4d8f34331cc2346040547f3467f73e19b15e4524


