# isabelle_session_info

session_name: HOL-Nominal
sources: c3790485ffb8449b3c81b7d251c7d13e410b0d3d
output_heap: 12d898d147ed2267d780b12e6a137a6d921fb7b8
input_heaps:
7a26b1aa42c8d55e21b9ca6ce6209bf2a039bcd8
9a9151510da7705615e394657256d5aac04f0cee
c305116f80af7c5ecf4e343a3060c21fc3972f63


