# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b3a9e88cabb5d0730a497e4e6cb79425fd656b3f
input_heaps:
f5c535eb8e289f9179f2cd93b57b66300861cb0f
a3bcb999b7efcff01c5d291a88ce943b9de5e75d
725e6e9447fed785c1c7d5cf3badca9aa796c484
035bc0d414c649a646b00a17071c3e295cf65bf0
66d688346413ba444e2fe1bdbbd1b87bd7d22787


