# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 6bf2f53567089e12854be9ce76b3785243d11424
input_heaps:
ca3ed9a9646231337b905d185bf29cc2ed7d96c5
10df30d77910ddf7eacacb769f4ff21ca25b020f
76e502718f3368e6ca56c83350e7a78ca7a641fb
bf8cc1d6f761ea36149349190f7800d2111f004c


