# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 50fb493182394c73518770b684e6b898a6321e34
input_heaps:
cf53ff9b5258563561ce0d99970401303cd58499
651a8377138c14d69efd8c4f91e1329900ce1c34
fa85df2b63457b62ac3ca17be7fc12b27609d04a


