# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0a53fab3df97d30833748362e51788a6bf8ba755
input_heaps:
3ae2375acf5ad0714f3a37416d1e1b869b0d64f3
83c11cd2d2233ea3dc1e858589b3d86c6d162e2f
62917460ae329aea051b66f88fb83e2e90131c92
82650990ae0fe788e591c5a937644a80ec17e052


