# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4f3abb6c8031372748e6d1fae5d9211668b8a957
input_heaps:
221bf55cdbeeb204abe001803bef147f0ffeb54c
2d0043d5245b774b6a52bc09a6afbc782402b041
994b016dff309dc0b62b9a60198310639e4dc557


