# isabelle_session_info

session_name: ZF-UNITY
sources: 85b20a69e94b7a2b3ea27548afea967c07a2d76c
input_heaps:
29da2f23179d57a846638571d6a47f5129270b51
5369dff33d7b8e14c3acc49b1b8b3affb69335a5
7a8f638d7b39c1fec4bc84b0073d652d5f0c541e


