# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8806b6013ba3d956102ea2601078d8969863ed40
output_heap: 4469c4782d3ede1bbafad96378264d36ce6e925d
input_heaps:
42a32478847503f3f85ef33601da5d3576da9156
89ede7dc0b82d7f6167cc537096edf93d9e4a1bb
dc9691f894f2b16fead545ef8fd13ae2982ca897
369fc16aa494f69d0e5ca704525754e09bb0fc42


