# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 45a1ee6d5dcc07bef443438b08cd6a40a2bc9f1c
output_heap: bb41201fddda25ea6e14c4b3f31a5f9498bca9fe
input_heaps:
3eb74d6a5359503e0055a59b42ece26aa296f5b9
dd999f1a178b1375fe14ff16880213d79d49a3b7
b0eed1d613750dd1d24699ede492a69a0394d7fd
6e10fd10d9f08a046cdd6249c0d394015efb2dba


