# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2506c3629894cf0d1f5a70cea8c6fefaa2d1c9ca
input_heaps:
f410984a54e8ba069c9e13dd4899d9aafe342178
8aa4aaaf92552fb4ece64319d36b5e8dd169beee
dbba6390311db094da235dd6c940dcca347de63c


