# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 0cda8a676196aa065af3a371625ab3fc90be46da
output_heap: 2d77cedd67c060212dd54d40d888ea819ccdc685
input_heaps:
6cc894aa27961594565a36c702fce7267b225b4b
637be1a2699b13cd4d4572ff61c3930fe237059a
04cd1a7ab8e19c9362601bdbf373b8c6e5c3dfd9
369fed2647fe2e354d4a0219558637517ced463b


