# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: d8dee529a4c0ae4638d85c61a2722dd95182b135
output_heap: 640ee2e53545fac07b0a80634de576852e8ff66a
uuid: 28a8f290-772d-4bdf-a53d-7650b362e8b3
input_heaps:
82ad92dc0dba9d95491b69387d189df653d2761e
1530d97ea51c361acf764a2ef5e711409abf7a87
d43081aa673ccdf53d10d7c27ed9961c48a58124
6a619aaa1be2acf7fe2db5452f4e18cbeb279303


