# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4360fd4ea615428be45327a66ca79dc92e15902f
output_heap: e238b24cf1f34a0a305b376c9e7d2358770a8b25
input_heaps:
2922a9760d947cb0cc8b078564aaf1bd2d436941
dae8aaf71c6c8be05abd6464d3201dcaafc60276
deaabdde9c051ee779aa688c5999d5f3bb29b1fc
6ceb5b105f8e096a8f203697f5bb60b46a125422


