# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: fd07ea1b24e3310ef3307c0e0cf5f2a7d4b47a9d
input_heaps:
51dd6ddf81f32d1521a081613e64272e00a7489b
26eb0d9d19e0107059d575886decce0ced0ef3ab
6c0f34ea0fc51fdcbad05b7638db01f5ea96b003
12453722f8dff163848104d537d63733061e2ef6


