# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 418d137c24684b0673163e9c35869db72e8f1c18
output_heap: 9d341abb473692d5838ec00faf2e05f6b7c105e7
input_heaps:
527f4d07d271485e54ee6fe3ee5cab5376511032
10ed61a85344e5dd4a80e5ff81fc8a14dd83e4ed
33a0c9c85effc1844ce9a78bf947589d8ee56dea
4965c79f1ab4ec8d32386a6e78118ce2540073b8


