# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c574473a3841fb518a0fae7cb68ad48200c5ade4
input_heaps:
1c2df9ab94e25c8a2679a68910791aed4c2b5de4
6ac8fecf45d23f477b2ee86df14908c91728a9b6
ad46c15037bdd143f43eb850ff91ebda59fe8c5b


