# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ad25781106bef087a3b88f16659af84d9ddb1370
input_heaps:
2b67a9e2bb2b4459e907c5a87a263506b3c16be9
cc3ee92232616aae091b0dea7405319dc878b5ad
825eaf300f72ecd5d5736d3879a0a774b071bd7b


