# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a394314d7cdc4ee8bbc023b219b16226448aa690
input_heaps:
e6482372651d25cfcd88b33f1b222ef5cdb71889
fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc
aef5ff10096fa0ad7e3acd5dc0607ec20af499b2
b62b075c5e7da1d12bb113c85eba987648574f36
513701cf5a10181280958b01e0916b58409a302b


