# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ec9f13f60bf990974c1b7f7af1bc97298f15d14f
input_heaps:
0c5a4afe0b9501e0ce9b4d420c798cac3bea6e73
d8f435e385accbfaccb5be9a9486618794bd571c
00eb256aeef4cf6d85a05e3293125d831309e93e
92a9f770e0ca4d25dc9cd37f7b445aca26f723a2
e33385d2de24e6d73d82f681b4f45c9e3056fdf6


