# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 3009c3106a14b0df327a825718dd0b0f35cd5d33
uuid: d26e272f-0656-472a-bae1-6450cbdacc28
input_heaps:
7fa36be71927430279100a4a627b293498a11b23
b1b27881931da3e3fae70a1a4067440d5e6c57d8
717016bd28e5d6d1eb101fa3056af2bb21a22537
108afb1b267d34f6031eec5d33a55695fd5ae775
b89fc21941a88d35d7f928a9df8da7cc266d93dd


