# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 18b0bc30d2642c5858ddefcf0904ef7f9d124ab5
input_heaps:
c4657553ec539ee1cd3dbf9cf40b6479eb0e8be7
c09189980113121cb5f18aad2d7534bf09555b9d
a5223abdbc40ef6ffa24ff9329739100475032f5


