# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 6937b2ceddc35679998aeb84d43421ed25c9b794
input_heaps:
ee652d79da3dfe2226e7998ba8d9b6c5b4062632
574a78dd5fb2862f217d3eedf94378929b3d0576
d9d27f4a9884658ce4105eaee8721cbfd59385f2
10aa73e459fcef2fe0be5797f374dcdc359c6d61


