# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ab072f7d4fb3334b81ddd3da6ea8b176f99cf00e
input_heaps:
ebe1e700d1ea7c31a82b493fe8285299f0402806
6870c15ecc01bf16aa8d754cd67c6996a7d04f84
2979c501e997637321ee59ab2744f9c8d6aed583
4dad8855de4c96c9e0ffaf58262caf7736a87001
0139a94dc6c851b81bbab1f74ff1a3142bff77e0


