# isabelle_session_info

session_name: HOL-Nominal
sources: 27bcecc2805d2f12f1eef13bc5082cb7ed7cc571
output_heap: 2ed93b298157614cd35e533bf35b642b0052229f
input_heaps:
119ecd3e4617a6498736c052214d7e7adff34d7d
0a58e77107b6447412309e7161b33a2201d96314
1dc829e565227284108a8e53f7a34b8e85bfeca7


