# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 51b2aecfd1fc8b148958cb8b8baccc442c747a7f
output_heap: eb38931dfc59f1306e3cfd97c6e7f52c2a97e273
uuid: 278a1316-f2e9-4b7b-9ca1-98586c0e1085
input_heaps:
9f756a51bf34e1b2803926b818ad28454650efdb
6f8c06347605fafc9c3e2a708367e9d073c12b69
7a1d88efab84579e87bc510c25ca93ea0a0c6cf9
1de3ca7c1ecbb460e901ea69bf61a102886d65b9


