# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: d68d3c11ed400e48f657d4841479c8adc394bddb
output_heap: 6b557117be72aa03f6483e905d6bdec8c451882b
input_heaps:
1d3b7742f85f25c1c85e860702329bfabe408a8c
01689be8ff96647a44561310e2e9cd85b0703641
cbe3eb1ccf50b584575b7f6936f222e4060eb6a9
f2dbdeb87336cb1995ed0b39197e69b55baa6e27


