# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8ba9fe8b2c45d917651857cd5386049dba3fdd0b
output_heap: 3132373e8c9d08c47c4ac7ba2f2ccb4604a14dcf
input_heaps:
19126f922e3aa9c20f5a31237f68a37a6d2cdfb1
078fec9a335ed8e63b0d7f40d8edca7f752c4fb3
9d8b4525c5f8c9207985b4e769e131de60d4e4b5
3632c48fedfd7f091f4160115bec1a556b960098


