# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b2e495dba1ede895f93725473b55715d8b88bc08
input_heaps:
4c5f183ba78d63fba8f2fff83f20ad92ba3f3123
7b9d4e57c8c302939625b8327fc2f5fa1e0eeb2f
532634e18ea1a8693cc0728dafa2f13d5f5d8b6b


