# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 9fa794545ee68b0b3d8d5472cdf7d54139491f9e
input_heaps:
fa217b500e43b49079262f25873831dd0a8ef4ee
4e08b3233e551cd4b2f5bc84a0c99e19e4f4e2c0
7187a012a9081396fca1bb36038e11b2c5517504
53ed0adc70022d3fc24d048d1c21fec4c05a99f6


