# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 39e3dcb6ed07c9a6e88888866173a72c155792a7
input_heaps:
db03750a2a02524ab90002b6aa2f3fdf73801456
44f4a4d21533e163309b3b046d80e673f2dfa115
feca8eb19e6906919bb5f8c995f7bc97212b6f21
a8f406fd21cd9eba4a649da1ba4508388580c73b


