# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 2632b5c7cf80e0574ece08f66d972ab7ce804e75
output_heap: a404ae26b9be1b085cba2d5875c0c97e713dad76
input_heaps:
6e17447a00107a84a0d911955493ae00a345bd11
8f7c907bd2182684f053246d01bc6ec83b1af4f8
ba6c7bee358667f940c2d372ce3441f58220cef1
6cdb6136376ab21b7fe186f7bc34f22b02086986


