# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 94293ec4619b787fa03a54a0ed4190074c9d1fe9
uuid: 489cf921-951d-4e1b-bb4d-d54708dde45b
input_heaps:
7c6f2b7437f5ebb54c9c7f19ce0aa45616568bd7
be8131a433bddd63b748362726e9657753469013
b5dd907c121bcff21cc1c1562d33b1bab21bbfa9
0f7e11bbd05936fa17fbf99070af712853e1de38
dcc414473eb0454531dcb9fcbdab1caef0968e09


