# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 125ec40ae4432ddec4a91d33665c4b2b7403b520
input_heaps:
21a403e07266a0eb7fc4f07f6d291fb8aa815d1b
b2b2343c1fd11a884de7303077f1e9ff411e5305
4d03d9ccd21c4163be6e1820247c9570a4e87b88
3c1c6e7ad4602c74622030b8e74ff23d1ad56ba7
6dfea19e1f0b2a2c246d679fedf0c44e58c60309


