# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 66d3e5b08a2ef7daaf4a55d72a0c06ec76b23eab
uuid: 72099ff0-61cb-4393-bb94-b3565fec1de1
input_heaps:
9b04407a9c9868cdf91440df38a950e6d09d9c8a
4002efa1f75a65fd71f748ba21623d892c47f0ab
7047283bb86a9fafbabfd46ab15a8c8a430eade3


