# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2af25168fb1be8a440bdbbceff97574cf5361209
input_heaps:
69aa70f16755536fb90c293b8cf6c5f43ac275cd
5f526e0100e302c086d054bebdbf267155c91c44
1f10815639627baa2e7c94776495522e2487b78b


