# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 375f6ac567857ad26c87fe6778918827f8a30ee7
input_heaps:
f7b4b33949eadf68a640de5d1913d11bbf106da0
124babcbd0240873887a6fa5acb6690168ad45f5
e281d9a67ec1f1f93a30b94ffdfc76c8fec76319
8a932c22d9be18fb036e8e8e8c5279d43f2b7947
71b68e859f9240bb05e8494f3396958f8604efb2


