# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 9d167a05f2872bf5d2bfb82a3bbe400d112b095f
input_heaps:
766424c7446fcf0389ad970d2db1fd930834a7a7
5898bb85c565239de53bfad464dfae5b8b608cf4
80c7d778390a22950535bf04609279986b870430
853bc377858a2a9a340178ca302e4f5560d29c2e
ada0f41e6a8448bdcddc0919232b147b5bcc28a4


