# isabelle_session_info

session_name: ZF-UNITY
sources: 51ed6a54601b825e88c699fe9798ece2ea7c88e1
input_heaps:
a681f6653dbc3911110a79ad31633f9a1fcd6a75
5e3ff36e7473262111d5d467277ad6cffe26f743
e3fba7b43abf4fef4cab8c436f628c05c22b02bf


