# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: efe0c37e5e33e84abe4b53b6c53b9c8d0d4146be
input_heaps:
29742d31223b1c0da97cc510d551770e6645ed56
5b36456208a73bb2a10db178da06a25c6ebd398f
3677f971da661fa575c37e44735daa60d26c507e


