# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ddfb238c55a245df741583c9d0b4a51521e5edc3
input_heaps:
23cf972811ccbc85c9826ecc0f49fdc49eb2b8c2
9fc0a6bd7e3d8e1a2a7cdeaa12690299cd2d0bd0
3f5d7eedc92b75beee98cba53c5761377c0ca8c7


