# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8734db4ae6164371877aed73b6c45faad59a33ac
input_heaps:
33566f3cddb263229cca6b46057522afa84933ef
bb7ec89f1f64990bcc746653a2c829e6a81d9bf2
9f96cfea966aa19fa07f5a219d81239473d5d2f3
ec6d9205fdffb78dc64e2bee43bdf45ed27db1e3


