# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1e5cad02a8f2f510124504ad89e19ba2a6207ee1
input_heaps:
badbc4e6c4622427a16d1301f7959041c62bf6c4
ce95a93ff4b579885a0c343bf2559c84f850ef37
5de1c4389e351570bf69e1e8f8281fbc01629690


