# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4aa48d61643703da0c776a8420d290f63efa3ab6
output_heap: 24ee5b84cd139d347257d45b84697245ff307dc6
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
25b90743d1281bfd1bba7e3f4d92443f81c8b32c
3f4049acc186e4dbef3ade96d1d0c7419f33935c


