# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: bf0ac348cc55b4694bd30997efcb3c11ee542e01
output_heap: e5ba1ce509bcf22fe5a5b9ba6b07a1b13291cb89
input_heaps:
6c60686a775c17b128fd9cd71424693ae23fa627
4ff4ab262683e151508a9833c0dc0c10d1ef6532
80471069f2c44ce5bfd043de38dc35abf5b77c3f
c6928a594f9e8a5a9eccc8dba30f999ece788704


