# isabelle_session_info

session_name: ZF-UNITY
sources: 5976a0df623d8ce17c289ada35c069180e87bdae
input_heaps:
3dd106b0fc6e16ab72e3261eac1cce577c86ae1f
1d053e82fdf0a51ed28b25b25840917788bc25fa
edbf913e1e261cae79f9cb4a8b0a7cd981c9d29a


