# isabelle_session_info

session_name: HOL-Nominal
sources: f2be6f9a5c7be7c884c2bf9d42f8cac6b00e7083
output_heap: d3ae4e2c932d0eae2e7bf3845d431e0d9bd7b0d8
input_heaps:
b6a06941c7f4d32a9ff0b780ae34fa263f209f1f
17c087a835d148ead0faf3b05e4801803be6efde
e19fd855d79a722189e435995b1ccfcd1bca3848


