# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 02529419be7b7f2b703d3fa7603b0f972f0a0f56
input_heaps:
a69674c8d285a16947cfaf2d0c58d9bbaf43e7b4
d4ac11b89633f5f35324f09d3693a08f432f695c
0814fe82b9acd884cf2464fb265eecc1eb978fe3


