# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 7c6aeb784679074aa513d17a564ce9f07a17a3d6
output_heap: 880b6b4fcf95fa50a41bde51b16a042611071dad
input_heaps:
33566f3cddb263229cca6b46057522afa84933ef
bb7ec89f1f64990bcc746653a2c829e6a81d9bf2
9f96cfea966aa19fa07f5a219d81239473d5d2f3
ba31a12f9c64226a89fb472bf575d556a312e021


