# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: adb8e6192ad01931585d60001b0f8b6e6c6480a3
output_heap: 16f2e871ecf27e5664bd1f090319d78ffb25de86
input_heaps:
ac77010cd64e2ce720ccfa00fb9a959649c23cdb
3d710a4395e8789e600e9dcf06fb2e71a0affc90
449329c6b2a0b1299542b7d3cc6dddff8f6837ca
77cc7e49c2997c26cc72167db98b90708351df2e


