# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 89fc0bd9c0db1eea881c6104665a50f251413f96
input_heaps:
b1229b1545e0527f3af637d3b7e4d9e29c3516a6
2e63f8b985a17038023d038a775f53bd77337d39
53d0b7c2a8b3f76f597cc6a9ecba17382ca0bc8e


