# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8214f3ab8c338a40eb2c45a804dcc48d6518d79d
output_heap: 6b3c3bb289593aad4bbe3d8ac7452207efc6505c
input_heaps:
dbe489248e523e230cc84de4e3b8851f92ccabc6
eee023a3f0662bb6b233c66e85998a310b77a62b
6bdec92f0757b792135169be6ee17aae1c2de192
8285947e8333210d8b9fd0097b1451b3ea456d20


