# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: e83cbf6375f4b9a60acb8c42412903398ea2a798
input_heaps:
d519004ff6bb3b652fd959e65d131f041c2441da
a5e894086c290b5f34bdd176eedfdf0315b685d6
ba860550c944730dd521a9c1d109d7863abd3a4a
c6ce563714711af871ee21094944388e8db3f66d
b7b7ee836528774d4cfac44267d6ce8d904c5464


