# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a4e0c03dc23f60ba152bd050a6840d3069809f88
input_heaps:
c3292d618b9c65e2792e518c1331e1f69ad60c45
f791bb242b66bfbfdbe66ba3e74f7f13b3a634a7
627f52b67b9cea363a4519e288ff0ea62cf3df1a


