# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8c35fcaf4c2ec6f71ee6bcab18913cf3c7f89a32
input_heaps:
924cb62a75d1c3d60e07b1a488e345253c696750
64c0a35383da60b6bd894ca4c0863bd690715557
3a03d32750886cb658c05c16ccd447fc3204d96d


