# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a4d688f32f555df22d503ecea563be47e9fe0088
input_heaps:
33e372010bd93d78618052a88797c5afe4f11382
7daf0c8bd7744b8053173dc61bbf05acdc7970ef
b6f41c0185bf083cb5382e1146e55641d3db64d4
2dec38b21e1cfadf9410f1508211cf808cdd74de
b710b2a73f3a822275071e1b3d9d8bfad36cc416


