# isabelle_session_info

session_name: HOL-Nominal
sources: f4760ca36c76f2e8ff2959c7aa826f4e9c5c095e
output_heap: 4a2b7ab87b58184b7826a3ac71c25468983c6bf2
input_heaps:
b5db32649db89f76b1ce56237e676f898e9d50b5
5cc5613503d28c7360624d52aa81851a5e1c5a80
de400e153e6db4bb3c973029c7aee5edccc34935


