# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 60abd52f25a07dd270f1d94aa37b54ee74ff9dac
input_heaps:
202f6f92237c25fe02f241fe1e163c0a4bca399a
63f007d29bfc488e0cf2bd9362b622634a9cd39d
809a914e409100418d2c13df98768aaad39c3c52
f9476ac54f9bebdbff40d5b601af7c58331a5e81


