# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: f4b9731f97b9dc0860424b0770a3362c6a1498e2
output_heap: 18f293aae686cc3a90b4c83cbfd45eac951064f9
input_heaps:
a8d2b2957cf6386ef71e6190a6c8f3ffdbb41229
d359bf5ca56e584aaaec05c2cf0421ec40e1dcd0
6079627d7d05db72dda14392cac7f6be75c78e42
17a0d3bd741f4798e0fda5ff9df7cdd8f1a946de


