# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: fbfc6ff586db663c51f1560c56394af23166a5e8
output_heap: 65799369504f3861f1b25dcad714762da561abf9
input_heaps:
5234d5a5043eb9f3e26897b36f073692111b110c
b91e791daa16209e13166716aa8f901dce4a31bb
f7f243cedb19960e4c82b4f78c91c66f610a3afb
296288092e02a8e753fe8214057543ca5932f801


