# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e2900f8157c2a4af235ca2bb7e9002237d2ddc6f
input_heaps:
3ea58d54a136a485954265ca6aee1aca00e66e9c
a213deeff6e0f4dff740f020010b2ce9d72c57bc
6839bd0529b83478bc7c4972c8ece3cbfb85ca72
bf07ec14a754d1e8b4c59c8f91230075b31fc09c


