# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a8be68c8ddf6210d3cbe0489c65252da93148fe5
input_heaps:
d6896dca4550f3d580bd8085f0ec522b3c80ed4a
572a934a0a010bb60ece895ee276078cbc430847
2b4a3577a0a20431445184e03ca0be9784b8d5d7
08a1afb777cc29b77dbf76622b65416108c1eebd
7d95d2541a090eb944b4adeaff193426d5a1194e


