# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 45a1ee6d5dcc07bef443438b08cd6a40a2bc9f1c
output_heap: 34c1ebac98dec7ec61c99a63c0fb868d945cc3fa
input_heaps:
b2ce47e9fa30fa4e703e105006b480f3acd5f4d0
6b78c4edbeaa2893201fb3c136469bc43befa02a
80ef28b7a539d0e0dd92f2c23745981bcd59709c
cf1e331843b72bc1d702a30e44b2337bdfa87358


