# isabelle_session_info

session_name: HOL-Nominal
sources: 1b93a1995021aa10bc7b1a7bc5285e403e2b85f1
output_heap: c5ca316b68f237a43ae193b311163e8fcb352e1f
input_heaps:
275e94d511fe2870fff5f93bcaa57066d115c4cf
36730116a36c57071f8a7dcd0a475921707491c0
ecacb71b69b0da7d4e559568ca28357c31fb703a


