# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: f7990ceeed8b5c0c215c9c5194a36c788628f755
output_heap: c1d960c05a35bdb1bdd12a660fce9122fdbe674f
input_heaps:
6062096c27f4b7f40368b5d9ad593f43067d4c1a
35c7f7c8136871aff25ef6ca7272466cc67611a1
ff64b0c1626215e01a6a5ee7f2661a4d1da1c786
21fe2e28d2c7e3a414cf07ecd29351bf08ecb06a


