# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 833c83c204f95a0734b0ee1bdf844d889ac4cf8a
input_heaps:
e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc
976e5be91d6c7e38fb802dbd687a708c831185d2
a63742c749fa990fbc72e4972a8e6e8298291f00
e0a4e74ff2c5624b65e768ed7d86791046043455


