# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f17fb72e5e510079e444f5d39b423b425bb260b8
input_heaps:
b2ce47e9fa30fa4e703e105006b480f3acd5f4d0
6b78c4edbeaa2893201fb3c136469bc43befa02a
260e35bdea63d9fbe87d61f3967b32c3aaa26ad8


