# isabelle_session_info

session_name: HOL-UNITY
sources: 8de90b5cd7db0834edf5a8660a1d867c7c681ea4
input_heaps:
e73c8f63bd95850d065fbfafb34179614f242f89
69a950643537831e45281aa33a261ce80ba0e395
ff25dd5f57deaab00a5a778194aefc56cb158196
a415ac1d1958d02dec1d8cf0a86100caaefb533e


