# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: f049864929d81865c54a1b003b62d952ca1daf70
output_heap: d4ce4af6bcb7ac3f4a11b9d5694407e0f0196107
input_heaps:
f7c715a80dfc5d6a73b803bb3fc9916dd402c7cc
92fad740fd10300db52a7965165ba931d80e398a
be5b7e3ff44fde8fecbd5ed834addd7d17bbd25a
5604df508b4f17e2bffb701dd8513e9fd9e0336e


