# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 86fb1415824b1bc0cd11e5d16fb4a4f6b6387b3f
input_heaps:
e8537c47e923e47de729f9e0567accc61123d7db
017a6e647f3bb9870cee54c6bf34fef030e0e70a
0c4a301b03c4534552ec1dc9a6924d0bb12cb217
2955139636c5103b1e4a1baf295fee9e59c38b22


