# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 02f9922ff9cb73ab3465bec57fc3361ed9763a2a
input_heaps:
c04e1f3fc68c567f1533b0f5b3b34eb18e002e69
2121a2057db2e3eb3a417401cf669cfa7df5de5b
e131cd3f43bfbd9c456d28338c322be42ceb2e19
0102b5731f42c3cef7ff905e83e0c97bde140ee1
65f8af4b0256e8c5d05ef3ce24378d1dc15125cc


