# isabelle_session_info

session_name: HOL-Nominal
sources: 3afb3d79c0e977a82df000b3c9b5ac0729224bb7
output_heap: 5d4ece6fd0c18f2ca96039c44582ca6932d18640
input_heaps:
cb9068c52176507145e624acbeec2272a10e4f6a
87206ccabfeb1d393ed2571f867fc3906cc88dd1
fc60ea1877710c55efdbefd683bd6d53b3f57175


