# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c170991f27117e5e2321ac091a05cd61d18e4dad
input_heaps:
5610ccee8d50c8faa0a1915bbb604219e8b432ad
13a2690af0797a50544cd9caf6a410f62a2c356a
3b6f6efca776ce23b43e0874ad5586b5dc176fe5
7314954eb06d995b6368e62024c5a8590e620972
9883ccb17e03f262fa9d3bd6b2d8762c45677ab7


