# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 527f4a0b521c33781c81e2375c79f13a65f56c2d
input_heaps:
6f2ea6ab0b5842682397ebbb65f675c6588578c2
e101bd57939f33c881a2cb79f6e6b917cc005de1
f35d613e91298ed96af573ceee500580887c6bd5
b8df554b4399c61be4d32972c03b699b3633a927


