# isabelle_session_info

session_name: HOL-UNITY
sources: 8b441a19f1b0332b8970c463edf2ad619ef6cfa9
input_heaps:
2378b0ecfe5f199d8fe42ea5ccea70a2a20923a3
229a1d829501cf0a740156509d19e43499ab4bef
40e4fb3d6ffe017c023be6dc94683128bc70ab02


