# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 46718ee4c4fe2fdd5e624d44f379d394fcad42a0
output_heap: 23adb0cb6eb4deb507d02e15dcee342341605c84
input_heaps:
c27b1be1d87ea8888bb6682f289a3361d8a43a01
0a290823f7f6656dda8f24958333de33388b3fc3
7184903f78902e9d1b4d78fa9b4e65618fe5b9b6
8d508ba8e2acd6b47b8f56a5256a2086b0513af4


