# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 03ce586168015a42ad3a29f477ba925023c988c0
input_heaps:
c5679ddf6480b45d5288f9035bcf34ff43e4c2c2
1e4e1acda201b0f4a3686f0ff3ee33bca995f6c4
c723138b62208dbaafbe78bd3279a0b90ec8d8ee


