# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 06333baa9de05e6aae2794d7a99fa30c0b8b2ac4
input_heaps:
f46bcf61c269616a1bc9cb60b8eafeb409f933c6
84c199168b6eb1cc2abc672e3cc17a57ada0e133
7527afc1432c8dd328ba25edbcf54a24557aeebf


