# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 17032bf83869ffe0b22b971efa03507649d56d11
input_heaps:
00879685c0cae8162cb30e087be0ad1474557204
1ad79679c1848be8b6071b23aced2c52a17aca74
ce457241af9623fe22a35af7f0d0cf11de94f3c6


