# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 801ea1651f0754f8be91c310e148b6f9a8670dad
output_heap: 711f0a329c7002f268bee98a12eb368d629bacff
input_heaps:
8b0dcf9acd2129acf08a9af17112933d7b840fa4
526dc7c549bdebbc88872b36d0ab533286ebcc3a
1af847f1b191f75e66619cd5c503f4d4a206eaf9
9b42358f30983bfcb31c68ff101cbf7f74794bdc


