# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 62cab34c9e4b001097328c52d1ce85b384468b82
input_heaps:
d283a8fae717924d7d4c810028d8a4be3559955b
315c0deacc4a77bdc6a602ec4de6ba0aed437907
e7658ff4aeda8ca87c684c7dbbef56c6817601a6
21049335f900cdabea8b6ebf56d3e4449bbcfb28
98fa346e9a8a43eff31daf05453cb6c94bfc64f6


