# isabelle_session_info

session_name: ZF-UNITY
sources: 3d655be5a90185f752ceedc3ef2c83ed7fcf411f
input_heaps:
b91fd754b3729e34bddfb478bfaa24fc6bbe2d01
4d19941b68a7f2b78eabff60c60d45d74ed7a409
c97105a024a7d55d5b36813e28091e41bab1eb74


