# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1fa7cf547b120db311b0d8f7793104577b609ed8
input_heaps:
e6482372651d25cfcd88b33f1b222ef5cdb71889
fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc
37681b89b0c91fe150975d215181c4c87a43a4e7


