# isabelle_session_info

session_name: HOL-UNITY
sources: e505f6ce48cd30a3fb5b8b0bbf6f61904f2495b1
input_heaps:
ff9ec311f2965b5256157dc51e673f62af8e5ca5
10a38f173e27565186798ec789d35427da220c73
7509fed5c8936fec1f2a5bdb43f16f0e554e9ab1


