# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 47cb03a0bf5ba2eee276b09e0c1f488a48db73d7
output_heap: 9636d7a392ee7e65d1a445df3b557e2dec859f7f
input_heaps:
f446f03595bcdb30e30624659ca93892e4038ac3
d314e9ddc2049cadadddb9589ed87cff70c95a7e
cfeb17add6dda1e3feaa2447e359cdac203451c8
d1f12e9284037043c42afb1d3f22d6115bc5c689


