# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 6937b2ceddc35679998aeb84d43421ed25c9b794
input_heaps:
06a212243e05c5a7c923bfbaeac4ec358ce57654
662b38046f2d6e283935bf15699cabd0ac2015c1
d74e70402ef84cd79637e953fc6465be1da04f54
30085223fb8b6b54207166cf1d8e407a72fa6ea8


