# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 65fedf030131cdaa8fdff4be0f0de4860469fe54
input_heaps:
f6cc2b145d15d262c0afc0172602b425d350b305
915e856effcd369d052d31f552bc63efb2f10515
070f88f127c3110a8c2169235808522a1eefc8a6
079cabc69f883c3aaee26d3a68ff04297affa301
38aa092e589d7e5b78c8958b776ac9bc6d4a957a


