# isabelle_session_info

session_name: ZF-UNITY
sources: 51ed6a54601b825e88c699fe9798ece2ea7c88e1
input_heaps:
6aadefe1122163e4dcc89994df87a16956357ee3
40f9ca473576b68d54c032df27310119ad505fb9
ca9211c33c4aa8a01fb3032a0d23f33762bc3f27


