# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: d47ef935853fb1d5cf8ac816da82e1dbe4c9ad22
output_heap: 0a5fe2ccabddec6a6ba2261f252212765db7aacd
input_heaps:
694bb96926d1660698ddeb0394f4bb66043d4981
3f194d166fa7506877ff48dffbc5ca900826612a
d156d679d1ab220871a5f14665f6bad86eaa27fa
584d1156c357e9bee440283767d561cc2a49d609


