# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: a1c6d51b67523529ead6e6373791e07faef6c72f
output_heap: f05c9e05eb593a28d8f80c1508a01d452bf77feb
input_heaps:
b7e847e721809281cd40042e7df94b0de64e4297
d40f74ab6c572f5a7c6fb839c79aeb7813dcf391
96e7d01d2e8635fd01b39dbd704355426dd3dff7
3c1c44190330e7aba9b8ddf69cb6f4789ed77b45


