# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b5e4baa2ac5d2f9748ce5725ef5575a2cdc97824
input_heaps:
37103d488c27efa28e62851c2ab720a8f6785f98
aa62ce07a788d1f7f0daf47f49f5216de134e799
99bcdf73c7b7bcedc12210ecae7b8b198e9f6fbe


