# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 36b83fea6b24df7c6fdecda26a895e86cc80baf8
output_heap: b9263a8a6ec028a2738eefe573a3a26e63e9a963
input_heaps:
70530a60d7a1ec8e16f4035f71956f8b73a92183
a118c00bfcc49eea4ae117e80d0baf72a5a326ca
f7e6e74df2dde38e2b49f90e61751b5fae89a9e4
fdf0e3e3c9846f49d6827dbe0495288b886e492d


