# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 3d39bee0b7284a57321bc350ce78412975d8e3d2
input_heaps:
ca6408f7f99b4454016625ba43704f73bde79438
39488e311972b8a2a05f1aa29af5276c9877ef8a
b59ff45d0bcb71d300f15c1eaddd45d7f6157789
b80c7ddbf33278ec64cd96474001af72fd5e2a5b
83a943120401e4c002ae55536622ff34d9cca35f


