# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e4b805affed485040ee0f06c4fddf5d1e14eab92
input_heaps:
9400524a2bf0062e34657c8242e59e39ce561b20
8112b346d345fdd1df303f366f2308e1ad40a1e5
393f11690feda7e340a23f18a61e882c437382b0


