# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 374b953ae7a50fc4c9e4f28e16288c58d3142dc2
output_heap: 58ec8252b3d346ea408b5bcde3b24884ce14d4b5
input_heaps:
a3bae4e613aef271245928f0d52c8526a9c66f82
8e2207a978992101b4929ff8d1549e71615ce106
aa4d73687270d7a85aacd9ddd73630d002635adc
057f79c8f561792261372b200500729e31d49ef2


