# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6889aed59599a00fd90b2913238bca950122d88e
output_heap: ae5a1cfc0cc34d01d7bda0494e8440f2281177a9
input_heaps:
345c71dbd7a2fddca696d9cb71ed92270da5f86b
c87562c1061a2ff11d10f9e0af39c9aaa81a6c46
6c8824f9ca1a840875e28edea7c1914f28ec0243
77ae104ccc78ad058e445f7c0b18962ead397561


