# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b5e4baa2ac5d2f9748ce5725ef5575a2cdc97824
input_heaps:
38ce6d77816dc6421972ade4a9943105b7b0b5cc
8ea3fe9baa62582f6e3bd05adafc5e28dcf02c7b
e462e2b4f9c9c55e62d819d21de1a8fff9585524


