# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 240547aebadfe11c04ebc96d7fff22a390062748
input_heaps:
ba9703b8d89941ffe014c15e6ddc671ed32d9999
100b23f10739ac1b172eccb60c813bc22e9bd494
5db1b95e54d8648ee14dbbb91802b741cedc9545
686297041b3a93e325b14731d7a988dd80a2190d


