# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7901485c7be4d34d82fa27e0659abd7f09d5a779
input_heaps:
f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b
35eaa225201857107e827622fdda13b757fd8deb
600e22bc2edc8056b332800032b4ed87cbe79023
b5fca2ee9cf9ec4efb4a475253596b5e00e0017d


