# isabelle_session_info

session_name: ZF-UNITY
sources: 94c4e213138c77254b2c37a542c09eeab7a86d96
input_heaps:
bd474c82a4990544c5eb51a7e72ac15f897bc889
91dd8ad1841e51349a6c2da7abd8302c0ebf480d
f3cc152ddb0c72878a80d5793e4fbac0c06e6696


