# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c27f299360ad8db0a65f646f6cef3fe4ee4f9520
input_heaps:
76577b18008530e07593d17b9b98e73a9f0ad7de
40a3057232eda93f4e99a0cc1fca62ebf7c1e395
ac0fce27ffb8fb84b5a897b3808cc298734dee9a
7c6b1af43a8272e4280c5871fd71d46a816161f1
aacb8f085c6bcf5df049b05454d1886ca3a793a2


