# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: dc2d0c2f637d59a401b308edfe895fdcd48f28ee
input_heaps:
0b3eccfc941914cdec8da160566279ceaec47a32
11c84b6c962cb2c835a2796f64ee7e8c5da18a74
ef76eddbdf52ac150a910267bd1c259117ae2ad9


