# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2cef5c5bbedd60ce7d29a698995d8118b975b9c5
input_heaps:
6e17447a00107a84a0d911955493ae00a345bd11
8f7c907bd2182684f053246d01bc6ec83b1af4f8
ba6c7bee358667f940c2d372ce3441f58220cef1
77c92cf9f2d5972e205cf838fb1c5d8346399ad8


