# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 7747558a47d7f64a0cc667c04d837253ace4e40e
output_heap: e68b9150b4663215f684153362dceb50e7bbc2ee
input_heaps:
6efeb224ffc75fab8ec850f4826a2d863a08be88
25ecb723e4a4ebdc4e16cf93f7ae674a8a95cd2f
b4f2fa0a5ed6ca27cd36024a80ef87b9e20912c6
65a5db587b4db82b997c6ca10a666e20f94cbf19


