# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2b516813d91d1892d8ba3f139d67c0294cd8d480
input_heaps:
1c609249c248beb27845e050608bb1c731bea640
eed88ec53d7b43e3c68dcbe53660c1742a20e707
73d878e3c9db38521243a8ad493a393d2a376e92


