# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b77c3c6525511798c27c6a220897b6291fe7ef0e
uuid: 1dfe087b-de88-4b24-87ab-1aa19926f35c
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
66d209fd0192158045176f759b5bf813e284589b
08554f06c802c2e23c668f6831ce5f29bec43d1f
6b31d1ba9fa0466498e940eda43505a3c534224c


