# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 666dc258d62740288b1b0f12c9311804aa1127d7
input_heaps:
4663a55f367f6021a9d04b9b51a51d371f5748d6
643cda05baed70bc32c48479e948603981aaab65
cd1df484b3f71f649fcd0594a69af4a0f69a0dfe


