# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c574473a3841fb518a0fae7cb68ad48200c5ade4
input_heaps:
edcd1e22b3bcd95b9f743e779022af92d2d4b479
1cc0c57a4dc6b1fce148bea145e128ee3a528e0f
8a55280de9f3fe44989798c8fb6e4cb72e23c813


