# isabelle_session_info

session_name: HOL-Nominal
sources: 8de567cf869029e7f196bfb92f384cff89b517b8
output_heap: 8ef07cbbb03ecb3b9e323f84499e65dac3bc2e0b
input_heaps:
434d2185c8796b1b91c101ab4deb405df77e768f
e64afe6e32cef310ef78d64a8a9e9787a782d794
194ba7a53cbc2884b0c4d571a1e1d1b797ba0203


