# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1b6e6722a9496621b1fba4d9cda2185e331a5e46
input_heaps:
2bfc9fa8902db3916d36ec4512397ceb264483eb
477271fb1badc091331ba1e4626476e1d6c56cde
11a74db1d2d9d127e73040b1139a301c3d720f1b
db06115cf8e7552d29ea1b35bb3f2b2d4c8d673e


