# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1f004e7254a4f3da41067cd0ab65270d1a4712b9
input_heaps:
48ef87dd09ab8fc29a0988e0025104c249fa2e36
35bb85abbd94b011d8114c0880ef20a2961ecc7f
cfa68a28a8c28a1e7ad3cd5b88c1cea513e33651


