# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0f69e9e415131ac7d478e15a8850c9cbf5396e9b
uuid: 8f9aabd7-8428-4a62-aa5f-44191db3ed86
input_heaps:
bf176a74a4593f4606195faad0fee6e7154ab4f8
647081ba81acf75d1ab12a3a72156ea7da74c66b
434167b2e6d5b67694f7123f11d11048e8a6eb58


