# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ff61626e4d7e2d9093815f0ce05bde734cfd0f61
input_heaps:
ad4db87444247cacaf5ca4f67b9564767bfbfbb9
71edd8e772543d5a1e662373cc1cfda52a924ab2
d946f33409cf92ad9ebb53307ce434668d196d58
8ce917c122cd506617aeb80dfaeefa46b22d950e
a66b345a88d6fc762015480236d4284b3f802afa


