# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 833c83c204f95a0734b0ee1bdf844d889ac4cf8a
input_heaps:
3fe17abdf9fa7db8d66f05d71667c93b38e5fadf
8e9bb4e670ef60c93ad8a51482f2cacfd3a804de
d423e696cbd8052390366debb40bea8c4171dfd4
f26fb802ade460ea39c50b65b3b0d55147f3811c


