# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d35107fb041d1a559a06ceaa6b5ba9c31b821c5a
input_heaps:
7c385341d59add624f3803e0e2d207c16fcf2b8b
4343be3d37156aa8739d2cac200a596017930174
ed9fdb5f2057cd9762dca239523ae99a38516ed6
c46934bfbcbb79129652bef10530caddff0625fb


