# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 02529419be7b7f2b703d3fa7603b0f972f0a0f56
input_heaps:
31834e38ec0b0e76e422d9e5943a358a1d5bea79
5dc3e58cfb340e0489c37782ea3c036116b08098
951d5c5e070450188404ca49594a342023b1f008


