# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 7c8281d8282fa9d0eac80bad7b8add1a703e093b
input_heaps:
5e341a1d6191d9356afa4682b13bd70b1920f9d9
63f48e936253096d790243e19b2890f4bf58673f
319675ccf492b875a3555b5d07827862e423dca4
7464d8f76046f5458d50435a69dc463a2edd0c49
9ac9cdddafce70575020e4e75f0598b9cfac157f


