# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 480bcc0e8a9b4553f239703a9286cb801b6f1247
output_heap: 44273e27dae52ce460685c47f161b4aecacdd252
input_heaps:
23cf972811ccbc85c9826ecc0f49fdc49eb2b8c2
9fc0a6bd7e3d8e1a2a7cdeaa12690299cd2d0bd0
0ffb725af5c26e5d38f8a728baf8f3c0b3604360
80d591903c3238f48feeab5156815027da74af2b


