# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0015f32198641d6f5bd3e2852f8b0471220c9f3c
input_heaps:
c27ff9c451f4b8c9cf6bb3a25c925fd9b57a5bdd
18dc0053a95521338aadd53e3b70138a41dcf298
60540a761d59c107be9d96927c6894862a4e0078


