# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0c672920e70b11c379f1d8d991403e2b714434a2
uuid: 455c1429-ff3f-42ed-8d79-341af124081e
input_heaps:
ce295757e9128ce20e665c4f4ba08c3bdfeff815
3b15bfeb74cd601d1e7f504e7a4b04f02809051d
590b71cad0e50b8fe404291f7a53da95ccb3ef14


