# isabelle_session_info

session_name: HOL-UNITY
sources: 7b1bb3de18eee41688a0b2910736173f0f51de1a
input_heaps:
60a148b45ba9a77d08275bcbed1a4e03ca2f42ac
32022e6d944834e4e8205d5bf1712d14f3818068
10c55a02344b6fec76eb7599b497a94f63386c72
b408c5a5acaedebdbfcba37172a2a90bd1830fe4


