# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b86e52f974ec97607ee2d7ae71f1a189db406d5d
input_heaps:
8fad6a4949c9835d07cc1dcd7a18516b5d86c9a3
26287f7258648103b1684486e4620d0d4bfc2934
ab3cb2ed7f63b936fa49e464dc4e11c5fa3dc928
606f1e194789c28b6ee537bb5cb2535ee6de69d4


