# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 05f6b7c0760ea709aa4543c694208bb5b1979792
output_heap: 0ecbcce18ad853a217735fb80f4efbbb8721caaa
input_heaps:
938e15381b816f3f1a92aa6a4c4c27eeaf3487ae
d1bd3d39ef70c98afeeea92fec14162c5407b6cd
3571e65b663c09725faa9ba6b192b209dec2db89
977cb6af488441f7d4c3efea8d44c19c7879bee1


