# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8d8600467c4a7d1b366c1549e864aa3f1234e875
input_heaps:
e61d7bad19c83358620faa4245e89410bb30de9a
c410e6eaade7b07b89b00f412d8d8aa51c2217ba
812e0be2315e9890b34946224758ca1e383dfadd
22ddecf93f6eb3b0522158272b61045354056d54


