# isabelle_session_info

session_name: HOL-Nominal
sources: e03b983527f7286c8c32719865caa9b537aeba90
output_heap: 4407c2835c9cc1fca7228acd5c0901b938d02cd1
input_heaps:
632d8c95ad4bd2d68bd3c1d2a41b16c33fd52fdf
ca6f8106185d335e0987e63132ec96cba44ad44f
999dc9fb1a79bc2556ab1fa66a674af162d487f9


