# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 5bcd593ae1da2f277b36dc3a891d14ca37cc379d
input_heaps:
d1779d2ddc889cb6287b2680129b97571dba74da
6b61682130070f87aca58ebeac1f36c985eef21f
5d445d44ac3647af37c7d41288c3b5c2fb2fadc4
9a53cd077c75d591c49ea93d2dafcef05d4d0cfc


