# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: d4cb52a94e54633c3eb4da5a4049c8453038d2d7
input_heaps:
bd83b15e1e0e9039a1a1655585e69901cdaa3f80
e4ea8cd95193acd87d6b106879f9d68d28c8a75e
d1789fe27bb2acdced8c4f59191cd5d99f361f8d
15d67d306388c473062e8315b972c8774c73994b
a5b04384f3794f253e896768d13bfaf2f2ba998d


