# isabelle_session_info

session_name: ZF-UNITY
sources: 29ed3214752e7d40f461e7b09014cf8c04d3bfb5
input_heaps:
2ab6afc53332b0678cc77dc53d23f8f23ad3ce19
5b72f91838b03850bdaca88bc1ba0ea89992d363
beeec43fe1c7d259b62efb55291072fd1d68728c


