# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 18f61fa2af488ba0d3c898dbc743ed181b8d594d
input_heaps:
d519004ff6bb3b652fd959e65d131f041c2441da
a5e894086c290b5f34bdd176eedfdf0315b685d6
536d7d57536795974da31f415714a2ade18a3e13


