# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
e73c8f63bd95850d065fbfafb34179614f242f89
f06d9c0526f4b0836c4c54317b30014502c00a30
7aba3512c75eb6cacfe8f65134588476f8ebd335


