# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 19e3874e75eb9b75e0ce8e0baf0306be2ac69911
uuid: de803dd8-8d09-4a35-9b5b-47fa2be57be7
input_heaps:
a94bec1f1afbee18cdd2d9a64da35bb88b4c4cda
5ef5c38f9ed83885f23f9268d0c06906c1a7541e
9f8e2366105bb95b5c017a8941af811174b038f7
c26abad3176748a589eb84a7556bf6d6ff815f58
abb9728e2cd84692e1675cec83b398bca6439c47


