# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ae3b5768dd14054a23f3a04da8ecb2065c789692
output_heap: a0b45d98dc4c2c0a190e3286bf7344baa88eb0a4
input_heaps:
bcc4ecc5927ed0aaa25be4ff6aac53775f27264e
ea5f5da5cc0366d1830f1b8a4fbfdf0326e82ab8
c43525486ef8162690ff38206396b60b2977cf45
9924925c1aa052eaf792ace721aaa3c88199e2e7


