# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ac55644cc1f9c3990e4ed3c28b7ee6f175b9dee9
input_heaps:
d2759733082b448cfff319a2231d0a2df2f8b2b0
2e8f9a63590d791f747e7d7cc375d115fd0ad5f6
dd8563f4b22bc7590188961a046246811dc06498
8f8c44a1cd3264cbbcab19f7c0145b110d7742bb


