# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a8be68c8ddf6210d3cbe0489c65252da93148fe5
input_heaps:
3a09df081446ee0ffc18a782a60162435ff26569
f98620677fe586b256f76996ab9fb926732156c9
95542376cc27ec274bcf1e627a98c02877be4b63
fa334a42b5163d1fd47f5f150ab9e5b10bf42b7f
62b4802d3a8e5310e490e65facab7386bc03d4e5


