# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 888e56e377eab63c291bc9d79f72f5c5d1063a8e
output_heap: 98945711f2263e5997094abd37e933ab9e34cc2a
input_heaps:
1b62f589250a397b750b9cb14f8361ec2107a8af
9fce8c97e397b56bd94058e31e934a30dd22c73d
979acbf0293a4d322c75c2ea909ce92090c3b24b
6082434c924bb1478847bfb642cf02db789b0731


