# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 02529419be7b7f2b703d3fa7603b0f972f0a0f56
input_heaps:
948e488671ba217525b4d44270af3533510a21d5
ace97e9292ce8a89b7e194cc52cf58c18517f8f1
f7d095c100d7d0491de6025753a01a6dd50e403d


