# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: fc5c361992c871bd618255ce1ef037c373047390
input_heaps:
9b4902f8e8c2cff8739e12b432b794bca1b63c5f
bd7d4d62ea14622c8855a61e25906a49ea079dab
3c21f91ac9ef449f50201c922fc6e9cbb3a20685
f1d838a6349455bbecb37fa00a751e9f80807f48
47c5a0097b73ac5a71a15fa3662eb604404d5662


