# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 28817feecb3a2148d2b4d3fc940d63bee374a4fb
input_heaps:
3d2535d0e4bd099c4cd2accf026f19c1b93bdee5
50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47
04eaf61cfb455e5f1fdd0305defe2d4d81fca6ba
181786e9d7e0a4f413c14e3ea034d03b8e4c9d7a


