# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: fe39a69e111b93fe484bd1369ee7828d20c9e796
input_heaps:
1fdedf6012a4ebc6e40000ef24a132020cf3202d
6607fa2666df38d37eeb7f85fc4e19a3f5c65593
56339efc82e81411f5d61ab42cf61108274ad122


