# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 41887f5b3493ccff6ed11e6ff0beac8d91b97d4c
output_heap: 4cbd8b588c45cdd2bdec7c9f0c12b0823f5c49cf
input_heaps:
07893eec13dd609290ead753526cddcabc430222
3d71068ded37e22e7adcd9665120386e15943393
addd34acd51f2cb14695bc2bb4f4eb38489ad13f
ba35be6271cb7b7785ed8c3928647beea24b7eb4


