# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: fc457f6d1ac3d0d0c6478ea4ddb2b960fb496a42
input_heaps:
849a93819fa451203d0122b4dd3db0edd4c708a5
e5ff3eb8497e8e1ce5e269fbb4d27f07bc3d35a1
61a1fb14c254c510bda1b1334c6014f46c380602
3b939e837b21c3d25299508dbc0e0e37cd785e30


