# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 45071e42d5d32e2588a839a1368f5c38fec1a9d7
input_heaps:
c36d8f85a99ddc5a1f0d4a78ada7dd9bcbc5bdff
91857ad64a000cacbd194f827207b2944b8ba327
e8312ec572e5fba9122cdcad68277f04e30d24ce
8850da261568f0e97176a7064986ac84e044c7cd
7a6228f5945c783a0ccf7ce6f22d9493f348b8d6


