# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 9615f7d8a3a14e2b10953324e2720103dfac8533
input_heaps:
ce650bef79d6d345a890ff07d7a9b3683844e575
f08d4f4b93eafc7f860a3267e5cf1a14728b74a1
37fbdb11e9c8033df7768d7f0dbbdda296d5143b
0c667eba67e1a79e113a0a9696091b4d89b2a5f7
8f1b5d66a22e21c0238ed0fd05a5192d87dd8c0c


