# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ae4fe65d3151b0f27cc3c2189b4d7000aaff329a
input_heaps:
1b62f589250a397b750b9cb14f8361ec2107a8af
9fce8c97e397b56bd94058e31e934a30dd22c73d
979acbf0293a4d322c75c2ea909ce92090c3b24b
4943ac88697fb29463c0621c83331d2e790626d9


