# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 5208f4b4d1392eae7503b366b9af6d7a370923ce
output_heap: fb52a0233e0e2348132dd92d0e5f2ac0d6c8f41c
input_heaps:
5b51a36775445032f763e9aee0002c7eaccf2b7f
35fe7ce9fdc3c090128037489da424d18eb375e8
10f8dc2bad0e0cfd92660b859e706cfa5acd4db8
515c458bd0b183372f01ea5d1bbda448239a76b4


