# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 39e8f179a33850f81a40257bea4ca6405aa11ab2
input_heaps:
196a2515706609007ea06d75ec986adb99a8cc65
7115c7e4680b44b378568e77a581f51084272a70
250c18d1e5eae26c32f892a7d3181a753a90514e


