# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c52cd919ce0e47cd913d9c33d6ce6b84f0ca8d8f
input_heaps:
9fc0231edcbcd095545a9bd9f3a47031d632be92
e439953f9939172fd7e2e9138f9265c34414095e
dda26d77580368e351596db628880ef79805fb06
98ee9552dc151f77f4191b3974e189c03d42f79f
eefc6d709777fc50e6a9422014911174a7d63eb8


