# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 02529419be7b7f2b703d3fa7603b0f972f0a0f56
input_heaps:
6cddc4affe5c2168acd960501c3b8e0a87b46c52
836e6c5126283467c7477ad029076bcafced66f8
f45c6c27dfca9ae37ce0dccbcaeef916f73c0252


