# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 04f1abf5321e460ae2cc551700ce768d6d82d80c
input_heaps:
4604eb2567ec75c8d9622816e4c73711a6b8dd27
772366f2f051916b4acac7b2a3824bb7edbc881b
a58f39aafc37e0912c2ddb9c25394a812a4f3016
d877bf16e36c5e7936aaf1b70c6c2f8cd9b989b6
61d321174b8d2c70fb5fab7b6ba47c4f015d4f6b


